../ coinor-libcoinmp-dev_1.8.3-3_amd64.deb 21-Jun-2020 05:18 91032 coinor-libcoinmp-dev_1.8.3-3build2_amd64.deb 22-Apr-2024 15:49 91666 coinor-libcoinmp-dev_1.8.4+dfsg-2build1_amd64.deb 14-Jan-2026 23:44 17198 coinor-libcoinmp0_1.8.4+dfsg-2build1_amd64.deb 14-Jan-2026 23:44 33804 coinor-libcoinmp1v5_1.8.3-3_amd64.deb 21-Jun-2020 05:18 31156 coinor-libcoinmp1v5_1.8.3-3build2_amd64.deb 22-Apr-2024 15:49 32830