../ 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_armhf.deb 10-Jul-2012 00:34 1512958 coinor-libipopt-doc_3.10.2-1.1_all.deb 28-Jun-2012 17:17 4325170 coinor-libipopt1-dbg_3.10.2-1.1_armhf.deb 10-Jul-2012 00:34 7856196 coinor-libipopt1_3.10.2-1.1_armhf.deb 10-Jul-2012 00:34 741814