../ coinor-libcoinmp-dev_1.8.3-2+b11_amd64.deb 15-Mar-2019 23:44 92144 coinor-libcoinmp-dev_1.8.3-2+b11_i386.deb 15-Mar-2019 23:08 92160 coinor-libcoinmp1v5-dbgsym_1.8.3-2_amd64.deb 14-Oct-2019 03:48 149168 coinor-libcoinmp1v5-dbgsym_1.8.3-2_i386.deb 14-Oct-2019 03:48 137140 coinor-libcoinmp1v5_1.8.3-2+b11_amd64.deb 15-Mar-2019 23:44 31588 coinor-libcoinmp1v5_1.8.3-2+b11_i386.deb 15-Mar-2019 23:08 33728