../ coinmp_1.8.3-2.debian.tar.xz 27-Aug-2017 12:55 35360 coinmp_1.8.3-2.dsc 27-Aug-2017 12:55 2011 coinmp_1.8.3.orig.tar.gz 27-Aug-2017 09:59 7109200 coinor-libcoinmp-dev_1.8.3-2+b11_amd64.deb 15-Mar-2019 23:44 92144 coinor-libcoinmp1v5_1.8.3-2+b11_amd64.deb 15-Mar-2019 23:44 31588