../ coinor-ipopt_3.14.17-3.debian.tar.xz 11-Jan-2025 08:58 19368 coinor-ipopt_3.14.17-3.dsc 11-Jan-2025 08:58 2064 coinor-ipopt_3.14.17-3_amd64.deb 11-Jan-2025 11:45 63840 coinor-ipopt_3.14.17.orig.tar.gz 10-Jan-2025 09:58 1874658 coinor-libipopt-dev_3.14.17-3_amd64.deb 11-Jan-2025 11:45 1111520 coinor-libipopt-doc_3.14.17-3_all.deb 11-Jan-2025 11:45 2347212 coinor-libipopt3_3.14.17-3_amd64.deb 11-Jan-2025 11:45 768848