../ coinor-ipopt_3.11.9-2.1.debian.tar.xz 30-Aug-2015 23:37 9876 coinor-ipopt_3.11.9-2.1.dsc 30-Aug-2015 23:37 2230 coinor-ipopt_3.11.9.orig.tar.gz 03-Sep-2014 07:30 5M coinor-libipopt-dev_3.11.9-2.1_mipsel.deb 02-Sep-2015 14:28 945K coinor-libipopt-doc_3.11.9-2.1_all.deb 30-Aug-2015 23:37 2M coinor-libipopt1v5-dbg_3.11.9-2.1_mipsel.deb 02-Sep-2015 14:28 5M coinor-libipopt1v5_3.11.9-2.1_mipsel.deb 02-Sep-2015 14:28 561K