../ coinor-ipopt_3.14.17-3_amd64.deb 25-May-2026 13:47 63840 coinor-libipopt-dev_3.14.17-3_amd64.deb 25-May-2026 12:18 1111520 coinor-libipopt-doc_3.14.17-3_all.deb 25-May-2026 08:23 2347212 coinor-libipopt3_3.14.17-3_amd64.deb 25-May-2026 10:01 768848