../ coinor-libcoinmp-dev_1.8.3-3build2_amd64.deb 22-Apr-2024 18:49 90K coinor-libcoinmp-dev_1.8.4+dfsg-2build1_amd64.deb 15-Jan-2026 02:44 17K coinor-libcoinmp0_1.8.4+dfsg-2build1_amd64.deb 15-Jan-2026 02:44 33K coinor-libcoinmp1v5_1.8.3-3build2_amd64.deb 22-Apr-2024 18:49 32K