../ coinor-libsymphony-dev_5.6.17+dfsg-1_amd64.deb 18-Dec-2022 12:54 343388 coinor-libsymphony-doc_5.6.17+dfsg-1_all.deb 18-Dec-2022 13:30 536012 coinor-libsymphony3_5.6.17+dfsg-1_amd64.deb 18-Dec-2022 14:11 289818 coinor-symphony_5.6.17+dfsg-1_amd64.deb 18-Dec-2022 14:10 15412