../ coinor-libsymphony-dev_5.2.4-1.2_amd64.deb 23-Dec-2011 19:02 297060 coinor-libsymphony-doc_5.2.4-1.2_all.deb 23-Dec-2011 18:17 531792 coinor-libsymphony0-dbg_5.2.4-1.2_amd64.deb 23-Dec-2011 19:02 830610 coinor-libsymphony0_5.2.4-1.2_amd64.deb 23-Dec-2011 19:02 261628