../ coinor-libipopt-dev_3.11.9-2.1_armhf.deb 11-Sep-2015 15:43 856278 coinor-libipopt-doc_3.11.9-2.1_all.deb 30-Aug-2015 09:37 2127252 coinor-libipopt1v5-dbg_3.11.9-2.1_armhf.deb 11-Sep-2015 15:43 5395954 coinor-libipopt1v5_3.11.9-2.1_armhf.deb 11-Sep-2015 15:43 564918