../ coinor-libsymphony-dev_5.6.17+dfsg-1+b1_amd64.deb 01-Aug-2023 14:25 312672 coinor-libsymphony-doc_5.6.17+dfsg-1_all.deb 01-Aug-2023 12:26 536284 coinor-libsymphony3_5.6.17+dfsg-1+b1_amd64.deb 01-Aug-2023 14:42 278340 coinor-symphony_5.6.17+dfsg-1+b1_amd64.deb 01-Aug-2023 12:54 16900