Index of /agbkb/forschung/formal_methods/CoFI/hets/pc-solaris/ghcs

	Name	Last modified	Size	Description
	Parent Directory		-
	ghc-7.6.2-i386-unkno..>	2013-01-30 13:03	94M
	ghc-7.6.3-i386-unkno..>	2013-11-05 19:02	94M
	ghc-7.8.2-i386-unkno..>	2014-04-25 10:24	122M
	ghc-7.9.20140715-x86..>	2014-07-15 17:34	107M