../ coinor-ipopt_3.14.17-3.debian.tar.xz 11-Jan-2025 13:58 19K coinor-ipopt_3.14.17-3.dsc 11-Jan-2025 13:58 2064 coinor-ipopt_3.14.17-3_amd64.deb 11-Jan-2025 16:45 62K coinor-ipopt_3.14.17.orig.tar.gz 10-Jan-2025 14:58 2M coinor-libipopt-dev_3.14.17-3_amd64.deb 11-Jan-2025 16:45 1M coinor-libipopt-doc_3.14.17-3_all.deb 11-Jan-2025 16:45 2M coinor-libipopt3_3.14.17-3_amd64.deb 11-Jan-2025 16:45 751K