../ coinor-libcoinutils-dev_2.9.10-1ubuntu2_amd64.deb 22-Dec-2013 23:08 766528 coinor-libcoinutils-doc_2.9.10-1ubuntu2_all.deb 22-Dec-2013 23:08 8738396 coinor-libcoinutils3-dbg_2.9.10-1ubuntu2_amd64.deb 22-Dec-2013 23:08 2292220 coinor-libcoinutils3_2.9.10-1ubuntu2_amd64.deb 22-Dec-2013 23:08 458892