../ 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 coinor-symphony_5.2.4-1.2.debian.tar.gz 23-Dec-2011 18:17 13439 coinor-symphony_5.2.4-1.2.dsc 23-Dec-2011 18:17 2392 coinor-symphony_5.2.4.orig.tar.gz 12-May-2010 09:34 2510329