Index of /ftp/gentoo-portage/sci-mathematics/isabelle

	Name	Last modified	Size	Description
	Parent Directory		-
	files/	2019-09-14 11:09	-
	metadata.xml	2017-01-28 09:31	1.2K
	Manifest	2018-11-01 23:39	6.9K
	isabelle-2016.1.ebuild	2018-11-01 23:39	11K