Index of ftp://ftp.klid.dk/pub3/gentoo-portage/sci-mathematics/isabelle

[DIR] Parent Directory

[ ] Manifest  6.92Kb  November 1 2018
[DIR] files  4.00Kb  September 14 2019 at 09:09
[ ] isabelle-2016.1.ebuild  10.99Kb  November 1 2018
[TXT] metadata.xml  1.18Kb  January 28 2017