architecture: arm64 component: main package: libbrial-groebner-dev priority: optional section: libdevel srcpkg_name: brial srcpkg_version: 1.2.11-2.1 version: 1.2.11-2.1