architecture: arm64 component: main package: libmps3 priority: optional section: libs srcpkg_name: mpsolve srcpkg_version: 3.2.1-7 version: 3.2.1-7