../ coinor-libipopt-dev_3.11.4-1build1_amd64.deb 16-Dec-2013 23:18 861514 coinor-libipopt-doc_3.11.4-1build1_all.deb 16-Dec-2013 23:18 2256148 coinor-libipopt1-dbg_3.11.4-1build1_amd64.deb 16-Dec-2013 23:18 5626550 coinor-libipopt1_3.11.4-1build1_amd64.deb 16-Dec-2013 23:18 636244