../ coinor-libflopc++-dev_1.0.6-3.1+b1_hppa.deb 06-Sep-2015 14:40 103928 coinor-libflopc++0-dbg_1.0.6-3.1+b1_hppa.deb 06-Sep-2015 14:40 406212 coinor-libflopc++0_1.0.6-3.1+b1_hppa.deb 06-Sep-2015 14:40 77416