../ coinor-libcoinmp-dev_1.8.3-2_amd64.deb 02-Nov-2017 00:26 91296 coinor-libcoinmp-dev_1.8.3-2_i386.deb 02-Nov-2017 00:28 91296 coinor-libcoinmp-dev_1.8.3-3_amd64.deb 21-Jun-2020 05:18 91032 coinor-libcoinmp1v5_1.8.3-2_amd64.deb 02-Nov-2017 00:26 30380 coinor-libcoinmp1v5_1.8.3-2_i386.deb 02-Nov-2017 00:28 32528 coinor-libcoinmp1v5_1.8.3-3_amd64.deb 21-Jun-2020 05:18 31156