../ coinor-libsymphony-dev_5.6.1-1_armhf.deb 06-Oct-2014 11:10 252526 coinor-libsymphony-doc_5.6.1-1_all.deb 25-Sep-2014 19:57 518302 coinor-libsymphony3-dbg_5.6.1-1_armhf.deb 06-Oct-2014 11:10 928176 coinor-libsymphony3_5.6.1-1_armhf.deb 06-Oct-2014 11:10 226502 coinor-symphony_5.6.1-1_armhf.deb 06-Oct-2014 11:10 15426