../ coinor-libsymphony-dev_5.5.6-1ubuntu2_amd64.deb 28-Dec-2013 01:13 278596 coinor-libsymphony-doc_5.5.6-1ubuntu2_all.deb 28-Dec-2013 01:13 517800 coinor-libsymphony3-dbg_5.5.6-1ubuntu2_amd64.deb 28-Dec-2013 01:13 1213492 coinor-libsymphony3_5.5.6-1ubuntu2_amd64.deb 28-Dec-2013 01:13 255510 coinor-symphony_5.5.6-1ubuntu2_amd64.deb 28-Dec-2013 01:13 14282