Index of /aces-base/pool/main/c/coinmp/

../
coinmp_1.8.3-3.debian.tar.xz                       09-Aug-2022 20:00               35428
coinmp_1.8.3-3.dsc                                 09-Aug-2022 20:00                2036
coinmp_1.8.3.orig.tar.gz                           09-Aug-2022 20:00             7109200
coinor-libcoinmp-dev_1.8.3-3_amd64.deb             09-Aug-2022 20:00               91732
coinor-libcoinmp1v5_1.8.3-3_amd64.deb              09-Aug-2022 20:00               31624