architecture: arm64 component: main package: libmps-dev priority: optional section: libdevel srcpkg_name: mpsolve srcpkg_version: 3.2.1-7 version: 3.2.1-7