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