../ coinor-bonmin_1.8.9-1.debian.tar.xz 06-Nov-2024 19:05 7800 coinor-bonmin_1.8.9-1.dsc 06-Nov-2024 19:05 2217 coinor-bonmin_1.8.9.orig.tar.gz 06-Nov-2024 19:05 1M coinor-libbonmin-dev_1.8.9-1_amd64.deb 06-Nov-2024 19:05 60K coinor-libbonmin-dev_1.8.9-1_i386.deb 06-Nov-2024 19:05 60K coinor-libbonmin4_1.8.9-1_amd64.deb 06-Nov-2024 19:05 329K coinor-libbonmin4_1.8.9-1_i386.deb 06-Nov-2024 19:05 358K