../ clp_1.15.10-1.debian.tar.xz 06-Sep-2014 20:23 9220 clp_1.15.10-1.dsc 06-Sep-2014 20:23 2318 clp_1.15.10.orig.tar.gz 06-Sep-2014 20:23 1856909 coinor-clp_1.15.10-1_armhf.deb 17-Sep-2014 11:11 112638 coinor-libclp-dev_1.15.10-1_armhf.deb 17-Sep-2014 11:11 767842 coinor-libclp-doc_1.15.10-1_all.deb 06-Sep-2014 20:23 11611732 coinor-libclp1-dbg_1.15.10-1_armhf.deb 17-Sep-2014 11:11 5024450 coinor-libclp1_1.15.10-1_armhf.deb 17-Sep-2014 11:11 595134