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

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