Index of /stable/debian-13-official-release/pool/main/c/coinor-ipopt/

../
coinor-ipopt_3.14.17-3_amd64.deb                   29-Sep-2025 14:48               63840
coinor-libipopt-dev_3.14.17-3_amd64.deb            29-Sep-2025 16:02             1111520
coinor-libipopt-doc_3.14.17-3_all.deb              29-Sep-2025 14:58             2347212
coinor-libipopt3_3.14.17-3_amd64.deb               29-Sep-2025 14:56              768848