../ coinor-ipopt_3.14.17-3_amd64.deb 02-Jun-2026 03:29 62K coinor-libipopt-dev_3.14.17-3_amd64.deb 02-Jun-2026 03:29 1M coinor-libipopt-doc_3.14.17-3_all.deb 02-Jun-2026 03:29 2M coinor-libipopt3_3.14.17-3_amd64.deb 02-Jun-2026 03:29 751K