../ coinmp_1.8.3-2_hppa.buildinfo 27-Aug-2017 18:03 6097 coinor-libcoinmp-dev_1.8.3-2_hppa.deb 27-Aug-2017 18:03 91886 coinor-libcoinmp1v5-dbgsym_1.8.3-2_hppa.deb 27-Aug-2017 18:03 123972 coinor-libcoinmp1v5_1.8.3-2_hppa.deb 27-Aug-2017 18:03 31222