architecture: arm64 component: main package: coinor-libcoinmp-dev priority: optional section: libdevel srcpkg_name: coinmp srcpkg_version: 1.8.3-3 version: 1.8.3-3