Name Last modified Size
Parent Directory - coinmp_1.8.3-2.debian.tar.xz 2017-11-01 14:03 35K coinmp_1.8.3-2.dsc 2017-11-01 14:03 2.0K coinmp_1.8.3-2build1.debian.tar.xz 2020-03-22 17:50 35K coinmp_1.8.3-2build1.dsc 2020-03-22 17:50 2.0K coinmp_1.8.3-3.debian.tar.xz 2020-06-21 07:13 35K coinmp_1.8.3-3.dsc 2020-06-21 07:13 2.0K coinmp_1.8.3-3build2.debian.tar.xz 2024-04-22 17:47 35K coinmp_1.8.3.orig.tar.gz 2017-11-01 14:03 6.8M coinor-libcoinmp-dev_1.8.3-2_amd64.deb 2017-11-02 01:26 89K coinor-libcoinmp-dev_1.8.3-2build1_amd64.deb 2020-03-22 18:00 89K coinor-libcoinmp-dev_1.8.3-3_amd64.deb 2020-06-21 07:18 89K coinor-libcoinmp-dev_1.8.3-3build2_amd64.deb 2024-04-22 17:49 90K coinor-libcoinmp1v5_1.8.3-2_amd64.deb 2017-11-02 01:26 30K coinor-libcoinmp1v5_1.8.3-2build1_amd64.deb 2020-03-22 18:00 31K coinor-libcoinmp1v5_1.8.3-3_amd64.deb 2020-06-21 07:18 30K coinor-libcoinmp1v5_1.8.3-3build2_amd64.deb 2024-04-22 17:49 32K
This mirror is brought to you by HR-Tech and Heiko Richter.