../ 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