architecture: amd64 component: main package: libbrial-groebner3t64 priority: optional section: libs srcpkg_name: brial srcpkg_version: 1.2.12-1.1 version: 1.2.12-1.1