architecture: arm64 component: main package: libm4ri-dev priority: optional section: libdevel srcpkg_name: libm4ri srcpkg_version: 20200125-1 version: 20200125-1+b1