../ coinmp_1.8.3-3~mx19+1.debian.tar.xz 26-Jul-2020 13:31 35544 coinmp_1.8.3-3~mx19+1.dsc 26-Jul-2020 13:31 1774 coinmp_1.8.3.orig.tar.gz 26-Jul-2020 13:33 7109200 coinor-libcoinmp-dev_1.8.3-3~mx19+1_amd64.deb 26-Jul-2020 13:32 91820 coinor-libcoinmp-dev_1.8.3-3~mx19+1_i386.deb 26-Jul-2020 13:32 91828 coinor-libcoinmp1v5_1.8.3-3~mx19+1_amd64.deb 26-Jul-2020 13:32 31416 coinor-libcoinmp1v5_1.8.3-3~mx19+1_i386.deb 26-Jul-2020 13:32 33572