../ coinor-ipopt_3.11.9-2.2+b2_hppa.buildinfo 30-May-2020 18:03 11359 coinor-libipopt-dev_3.11.9-2.2+b2_hppa.deb 30-May-2020 18:03 989624 coinor-libipopt1v5-dbg_3.11.9-2.2+b2_hppa.deb 30-May-2020 18:03 8654848 coinor-libipopt1v5_3.11.9-2.2+b2_hppa.deb 30-May-2020 18:03 736004