../ coinor-clp_1.15.5-1ubuntu3_amd64.deb 13-Jan-2014 02:28 121558 coinor-libclp-dev_1.15.5-1ubuntu3_amd64.deb 13-Jan-2014 02:28 869988 coinor-libclp-doc_1.15.5-1ubuntu3_all.deb 13-Jan-2014 02:28 11756856 coinor-libclp1-dbg_1.15.5-1ubuntu3_amd64.deb 13-Jan-2014 02:28 5223838 coinor-libclp1_1.15.5-1ubuntu3_amd64.deb 13-Jan-2014 02:28 721874