../ coinor-libclp-dev_1.16.11+repack1-1_amd64.deb 21-Aug-2017 22:44 1040532 coinor-libclp-doc_1.16.11+repack1-1_all.deb 21-Aug-2017 22:44 12060682