| Parent directory/ | - | - |
| coinmp_1.8.3-2.dsc | 2011 | 2017-Aug-27 12:55 |
| coinmp_1.8.3-3.dsc | 2036 | 2020-Jun-21 00:17 |
| coinmp_1.8.4+dfsg-2.dsc | 2137 | 2024-Nov-20 16:08 |
| coinmp_1.8.4+dfsg-2.debian.tar.xz | 8024 | 2024-Nov-20 16:08 |
| coinor-libcoinmp-dev_1.8.4+dfsg-2_armhf.deb | 17848 | 2024-Nov-26 10:08 |
| coinor-libcoinmp1v5_1.8.3-2_armhf.deb | 26306 | 2017-Sep-02 10:08 |
| coinor-libcoinmp1v5_1.8.3-3_armhf.deb | 26392 | 2020-Jun-26 19:42 |
| coinor-libcoinmp0_1.8.4+dfsg-2_armhf.deb | 26960 | 2024-Nov-26 10:08 |
| coinmp_1.8.3-2.debian.tar.xz | 35360 | 2017-Aug-27 12:55 |
| coinmp_1.8.3-3.debian.tar.xz | 35428 | 2020-Jun-21 00:17 |
| coinor-libcoinmp-dev_1.8.3-3_armhf.deb | 91704 | 2020-Jun-26 19:42 |
| coinor-libcoinmp-dev_1.8.3-2_armhf.deb | 91904 | 2017-Sep-02 10:08 |
| coinmp_1.8.4+dfsg.orig.tar.xz | 388428 | 2021-Nov-11 13:57 |
| coinmp_1.8.3.orig.tar.gz | 7109200 | 2017-Aug-27 09:59 |