../ coinmp_1.8.3-3build2.debian.tar.xz 22-Apr-2024 15:47 35624 coinmp_1.8.3-3build2.dsc 22-Apr-2024 15:47 2143 coinmp_1.8.3.orig.tar.gz 01-Nov-2017 13:03 7109200 coinor-libcoinmp-dev_1.8.3-3build2_amd64.deb 22-Apr-2024 15:49 91666 coinor-libcoinmp1v5_1.8.3-3build2_amd64.deb 22-Apr-2024 15:49 32830