../ coinor-bonmin_1.8.9-3.debian.tar.xz 09-Feb-2026 20:48 8388 coinor-bonmin_1.8.9-3.dsc 09-Feb-2026 20:48 2286 coinor-bonmin_1.8.9.orig.tar.gz 09-Feb-2026 20:48 1336781 coinor-libbonmin-dev_1.8.9-3_amd64.deb 09-Feb-2026 20:48 63560 coinor-libbonmin4t64_1.8.9-3_amd64.deb 09-Feb-2026 20:48 383712