../ coinor-ipopt_3.11.9-2.3.debian.tar.xz 15-May-2024 11:35 10K coinor-ipopt_3.11.9-2.3.dsc 15-May-2024 11:35 2249 coinor-ipopt_3.11.9.orig.tar.gz 15-May-2024 11:35 5M coinor-libipopt-dev_3.11.9-2.3+b2_riscv64.deb 22-Apr-2024 14:12 3M coinor-libipopt-doc_3.11.9-2.3_all.deb 10-Apr-2023 11:35 2M coinor-libipopt1v5-dbg_3.11.9-2.3+b2_riscv64.deb 22-Apr-2024 14:28 6M coinor-libipopt1v5_3.11.9-2.3+b2_riscv64.deb 22-Apr-2024 14:39 583K