architecture: arm64 component: main package: libsollya-dev priority: optional section: libdevel srcpkg_name: sollya srcpkg_version: 8.0+ds-2 version: 8.0+ds-2+b3