Index of /debian/pool/main/r/regina-normal

	Name	Last modified	Size	Description
	Parent Directory		-
	regina-normal-dev_4.96-2_amd64.deb	2014-11-16 10:03	480K
	regina-normal-dev_5.1-1_amd64.deb	2016-12-17 09:03	572K
	regina-normal-dev_5.1-6+b1_amd64.deb	2018-11-18 02:05	572K
	regina-normal-doc_4.96-2_all.deb	2014-11-16 10:03	12M
	regina-normal-doc_5.1-1_all.deb	2016-12-17 09:03	14M
	regina-normal-doc_5.1-6_all.deb	2018-10-28 18:36	14M
	regina-normal-mpi_4.96-2_amd64.deb	2014-11-16 10:03	121K
	regina-normal-mpi_5.1-1_amd64.deb	2016-12-17 09:03	147K
	regina-normal-mpi_5.1-6+b1_amd64.deb	2018-11-18 02:05	149K
	regina-normal_4.96-2.diff.gz	2014-11-16 10:03	12K
	regina-normal_4.96-2.dsc	2014-11-16 10:03	1.6K
	regina-normal_4.96-2_amd64.deb	2014-11-16 10:03	8.0M
	regina-normal_4.96.orig.tar.gz	2014-08-29 23:31	20M
	regina-normal_5.1-1.diff.gz	2016-12-17 09:03	14K
	regina-normal_5.1-1.dsc	2016-12-17 09:03	2.2K
	regina-normal_5.1-1_amd64.deb	2016-12-17 09:03	13M
	regina-normal_5.1-6+b1_amd64.deb	2018-11-18 02:05	13M
	regina-normal_5.1-6.debian.tar.xz	2018-10-28 18:36	12K
	regina-normal_5.1-6.dsc	2018-10-28 18:36	2.3K
	regina-normal_5.1.orig.tar.gz	2016-12-17 09:03	26M