architecture: arm64 component: main package: libflint17 priority: optional section: libs srcpkg_name: flint srcpkg_version: 2.9.0-5 version: 2.9.0-5