../ 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-2build1_amd64.deb 22-Mar-2020 17:00 91292 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-2build1_amd64.deb 22-Mar-2020 17:00 31240