../ coinor-libcoinmp-dev_1.7.6+dfsg1-1_amd64.deb 24-Jan-2023 15:53 92012 coinor-libcoinmp-dev_1.7.6+dfsg1-2_amd64.deb 24-Apr-2023 11:16 92066 coinor-libcoinmp-dev_1.8.3-2+b11_amd64.deb 15-Apr-2024 08:10 92144 coinor-libcoinmp1_1.7.6+dfsg1-1_amd64.deb 24-Jan-2023 15:53 32582 coinor-libcoinmp1v5_1.7.6+dfsg1-2_amd64.deb 24-Apr-2023 11:39 32952 coinor-libcoinmp1v5_1.8.3-2+b11_amd64.deb 15-Apr-2024 07:56 31588