../ coinmp_1.8.3-3~mx19+1.debian.tar.xz 26-Jul-2020 13:31 35K 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 7M coinor-libcoinmp-dev_1.8.3-3~mx19+1_amd64.deb 26-Jul-2020 13:32 90K coinor-libcoinmp-dev_1.8.3-3~mx19+1_i386.deb 26-Jul-2020 13:32 90K coinor-libcoinmp1v5_1.8.3-3~mx19+1_amd64.deb 26-Jul-2020 13:32 31K coinor-libcoinmp1v5_1.8.3-3~mx19+1_i386.deb 26-Jul-2020 13:32 33K