Index of /pub/mpkg/distfiles/regina

	Name	Last modified	Size	Description
	Parent Directory		-
	2.0/	2001-10-10 09:50	-
	2.2/	2002-10-23 10:55	-
	3.2/	2003-06-26 10:47	-