../ coinor-libcoinmp-dev_1.7.6+dfsg1-1_amd64.deb 24-Sep-2019 09:50 92012 coinor-libcoinmp-dev_1.7.6+dfsg1-1_i386.deb 21-Jan-2020 17:13 91812 coinor-libcoinmp1_1.7.6+dfsg1-1_amd64.deb 24-Sep-2019 09:32 32582 coinor-libcoinmp1_1.7.6+dfsg1-1_i386.deb 21-Jan-2020 17:22 33052