Index of ftp://bo.mirror.garr.it/1/gentoo-portage/sci-mathematics/isabelle

[DIR] Parent Directory

[DIR] files  4.00Kb  March 8 2020 at 22:38
[ ] isabelle-2016.1.ebuild  11.01Kb  March 8 2020
[ ] Manifest  6.92Kb  March 8 2020 at 22:38
[TXT] metadata.xml  1.18Kb  March 8 2020