../ coinor-bonmin_1.8.9-3.debian.tar.xz 11-Jan-2025 15:08 8388 coinor-bonmin_1.8.9-3.dsc 11-Jan-2025 15:08 2286 coinor-bonmin_1.8.9.orig.tar.gz 31-Jan-2023 15:44 1336781 coinor-libbonmin-dev_1.8.9-1_amd64.deb 31-Jan-2023 17:14 60948 coinor-libbonmin-dev_1.8.9-3_amd64.deb 11-Jan-2025 15:54 63560 coinor-libbonmin4_1.8.9-1_amd64.deb 31-Jan-2023 17:14 336832 coinor-libbonmin4t64_1.8.9-3_amd64.deb 11-Jan-2025 15:54 383712