Index of /debian/pool/main/c/coinor-ipopt

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]coinor-libipopt1v5_3.11.9-2.3+b1_amd64.deb2022-09-01 23:42 612K
[   ]coinor-libipopt1v5_3.11.9-2.2_amd64.deb2019-06-16 13:59 617K
[   ]coinor-libipopt1v5_3.11.9-2.2+b4_amd64.deb2020-10-30 03:10 632K
[   ]coinor-libipopt1v5_3.11.9-2.1_amd64.deb2015-08-30 16:37 657K
[   ]coinor-libipopt1v5-dbg_3.11.9-2.3+b1_amd64.deb2022-09-01 23:42 7.8M
[   ]coinor-libipopt1v5-dbg_3.11.9-2.2_amd64.deb2019-06-16 13:59 8.8M
[   ]coinor-libipopt1v5-dbg_3.11.9-2.2+b4_amd64.deb2020-10-30 03:10 8.3M
[   ]coinor-libipopt1v5-dbg_3.11.9-2.1_amd64.deb2015-08-30 16:37 5.4M
[   ]coinor-libipopt-doc_3.11.9-2.3_all.deb2022-04-03 23:27 2.2M
[   ]coinor-libipopt-doc_3.11.9-2.2_all.deb2019-06-16 13:49 2.1M
[   ]coinor-libipopt-doc_3.11.9-2.1_all.deb2015-08-30 16:37 2.0M
[   ]coinor-libipopt-dev_3.11.9-2.3+b1_amd64.deb2022-09-01 23:42 848K
[   ]coinor-libipopt-dev_3.11.9-2.2_amd64.deb2019-06-16 13:59 857K
[   ]coinor-libipopt-dev_3.11.9-2.2+b4_amd64.deb2020-10-30 03:10 871K
[   ]coinor-libipopt-dev_3.11.9-2.1_amd64.deb2015-08-30 16:37 907K

Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443