| Parent directory/ | - | - |
| coinor-libcoinmp-dev_1.8.3-2+b11_amd64.deb | 90.0 KiB | April 11, 2022 10:44 |
| coinor-libcoinmp1v5_1.8.3-2+b11_i386.deb | 32.9 KiB | April 11, 2022 10:39 |
| coinor-libcoinmp-dev_1.8.3-2+b11_i386.deb | 90.0 KiB | April 11, 2022 10:36 |
| coinor-libcoinmp1v5-dbgsym_1.8.3-2_amd64.deb | 145.7 KiB | April 11, 2022 10:19 |
| coinmp_1.8.3-2.debian.tar.xz | 34.5 KiB | April 11, 2022 10:11 |
| coinmp_1.8.3-2.dsc | 1.1 KiB | April 11, 2022 10:11 |
| coinmp_1.8.3.orig.tar.gz | 6.8 MiB | April 11, 2022 10:11 |
| coinor-libcoinmp1v5_1.8.3-2+b11_amd64.deb | 30.8 KiB | April 11, 2022 10:11 |
| coinor-libcoinmp1v5-dbgsym_1.8.3-2_i386.deb | 133.9 KiB | April 11, 2022 10:02 |