../ coinor-ipopt_3.11.9-2.2+b4_hppa.buildinfo 30-Oct-2020 00:03 11550 coinor-libipopt-dev_3.11.9-2.2+b4_hppa.deb 30-Oct-2020 00:03 952388 coinor-libipopt1v5-dbg_3.11.9-2.2+b4_hppa.deb 30-Oct-2020 00:03 7777180 coinor-libipopt1v5_3.11.9-2.2+b4_hppa.deb 30-Oct-2020 00:03 696128