Index of /pool/universe/r/regina-normal

	Name	Last modified	Size
	Parent Directory		-
	regina-normal_4.4.orig.tar.gz	2007-11-26 10:03	4.6M
	regina-normal_4.4-1ubuntu1_lpia.deb	2007-12-17 20:03	5.1M
	regina-normal_4.4-1ubuntu1.dsc	2007-12-13 04:03	1.0K
	regina-normal_4.4-1ubuntu1.diff.gz	2007-12-13 04:03	10K
	regina-normal-mpi_4.4-1ubuntu1_lpia.deb	2007-12-17 20:03	219K
	regina-normal-doc_4.4-1ubuntu1_all.deb	2007-12-17 20:03	1.2M
	regina-normal-dev_4.4-1ubuntu1_lpia.deb	2007-12-17 20:03	2.8M