../ coinor-libsymphony-dev_5.6.16+repack1-3_amd64.deb 22-May-2023 10:58 301K coinor-libsymphony-doc_5.6.16+repack1-3_all.deb 22-May-2023 10:58 532K coinor-libsymphony3_5.6.16+repack1-3_amd64.deb 22-May-2023 10:58 268K coinor-symphony_5.6.16+repack1-3_amd64.deb 22-May-2023 10:58 16K