Index of /ubuntu/pool/universe/c/coinmp/

../
coinmp_1.8.3-3build2.debian.tar.xz                 22-Apr-2024 23:47     35K
coinmp_1.8.3-3build2.dsc                           22-Apr-2024 23:47    2143
coinmp_1.8.3.orig.tar.gz                           01-Nov-2017 21:03      7M
coinor-libcoinmp-dev_1.8.3-3build2_amd64.deb       22-Apr-2024 23:49     90K
coinor-libcoinmp1v5_1.8.3-3build2_amd64.deb        22-Apr-2024 23:49     32K