../ coinmp_1.8.4+dfsg-2.debian.tar.xz 09-Aug-2026 21:51 8024 coinmp_1.8.4+dfsg-2.dsc 09-Aug-2026 21:51 2137 coinmp_1.8.4+dfsg.orig.tar.xz 09-Aug-2026 21:51 379K coinor-libcoinmp-dev_1.8.4+dfsg-2_amd64.deb 08-Aug-2026 21:48 17K coinor-libcoinmp0_1.8.4+dfsg-2_amd64.deb 08-Aug-2026 21:48 32K