| Parent directory/ | - | - |
| coinmp_1.8.3.orig.tar.gz | 6.8 MiB | 2017-Aug-27 09:59 |
| coinmp_1.8.3-3.dsc | 2.0 KiB | 2020-Jun-21 00:17 |
| coinmp_1.8.3-3.debian.tar.xz | 34.6 KiB | 2020-Jun-21 00:17 |
| coinor-libcoinmp1v5_1.8.3-3_amd64.deb | 30.9 KiB | 2020-Jun-21 00:27 |
| coinor-libcoinmp-dev_1.8.3-3_amd64.deb | 89.6 KiB | 2020-Jun-21 00:27 |
| coinor-libcoinmp1v5_1.8.3-3_arm64.deb | 28.7 KiB | 2020-Jun-21 00:27 |
| coinor-libcoinmp-dev_1.8.3-3_arm64.deb | 89.6 KiB | 2020-Jun-21 00:27 |
| coinor-libcoinmp-dev_1.8.3-3_i386.deb | 89.6 KiB | 2020-Jun-21 00:27 |
| coinor-libcoinmp1v5_1.8.3-3_i386.deb | 32.6 KiB | 2020-Jun-21 00:27 |
| coinor-libcoinmp1v5_1.8.3-3_armhf.deb | 26.0 KiB | 2020-Jun-21 00:42 |
| coinor-libcoinmp-dev_1.8.3-3_armhf.deb | 89.6 KiB | 2020-Jun-21 00:42 |