../ coinmp_1.8.4+dfsg-2_x32.buildinfo 20-Nov-2024 18:03 6724 coinor-libcoinmp-dev_1.8.4+dfsg-2_x32.deb 20-Nov-2024 18:03 17848 coinor-libcoinmp0-dbgsym_1.8.4+dfsg-2_x32.deb 20-Nov-2024 18:03 146992 coinor-libcoinmp0_1.8.4+dfsg-2_x32.deb 20-Nov-2024 18:03 32404