../ coinor-libsymphony-dev_5.6.17+dfsg-1+b1_amd64.deb 02-Aug-2023 18:34 312672 coinor-libsymphony-doc_5.6.17+dfsg-1_all.deb 02-Aug-2023 18:42 536284 coinor-libsymphony3_5.6.17+dfsg-1+b1_amd64.deb 02-Aug-2023 18:40 278340 coinor-symphony_5.6.17+dfsg-1+b1_amd64.deb 02-Aug-2023 18:36 16900