../ coinor-ipopt_3.10.2-1.1.debian.tar.gz 28-Jun-2012 17:17 36568 coinor-ipopt_3.10.2-1.1.dsc 28-Jun-2012 17:17 2275 coinor-ipopt_3.10.2.orig.tar.gz 29-Feb-2012 01:17 4412891 coinor-libipopt-dev_3.10.2-1.1_amd64.deb 28-Jun-2012 17:17 1840772 coinor-libipopt-doc_3.10.2-1.1_all.deb 28-Jun-2012 17:17 4325170 coinor-libipopt1-dbg_3.10.2-1.1_amd64.deb 28-Jun-2012 17:17 9151868 coinor-libipopt1_3.10.2-1.1_amd64.deb 28-Jun-2012 17:17 830436