../ coinor-ipopt_3.14.17-3.debian.tar.xz 18-Oct-2026 13:14 19K coinor-ipopt_3.14.17-3.dsc 18-Oct-2026 13:14 2064 coinor-ipopt_3.14.17-3_amd64.deb 18-Oct-2026 13:14 62K coinor-ipopt_3.14.17.orig.tar.gz 18-Oct-2026 13:14 2M coinor-libipopt-dev_3.14.17-3_amd64.deb 18-Oct-2026 13:14 1M coinor-libipopt-doc_3.14.17-3_all.deb 18-Oct-2026 13:14 2M coinor-libipopt3_3.14.17-3_amd64.deb 18-Oct-2026 13:14 751K