architecture: arm64 component: main package: liblinbox-dev priority: optional section: libdevel srcpkg_name: linbox srcpkg_version: 1.7.0-3 version: 1.7.0-3