../ coinor-bonmin_1.8.9-3.debian.tar.xz 22-May-2025 20:56 8388 coinor-bonmin_1.8.9-3.dsc 22-May-2025 20:57 2286 coinor-bonmin_1.8.9.orig.tar.gz 15-May-2024 11:18 1M coinor-libbonmin-dev_1.8.9-3_amd64.deb 04-Jun-2025 18:16 62K coinor-libbonmin4t64-dbgsym_1.8.9-3_amd64.deb 05-Jun-2025 00:01 8M coinor-libbonmin4t64_1.8.9-3_amd64.deb 04-Jun-2025 18:45 375K