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

	Name	Last modified	Size	Description
	Parent Directory		-
	regina-normal-dev_5.1-6+b1_amd64.deb	2018-11-18 01:05	572K
	regina-normal-dev_6.0.1-4_amd64.deb	2021-04-19 16:28	659K
	regina-normal-dev_7.3-2_amd64.deb	2023-05-04 22:30	811K
	regina-normal-doc_5.1-6_all.deb	2018-10-28 17:36	14M
	regina-normal-doc_6.0.1-4_all.deb	2021-04-19 16:13	14M
	regina-normal-doc_7.3-2_all.deb	2023-05-04 22:09	71M
	regina-normal-mpi_5.1-6+b1_amd64.deb	2018-11-18 01:05	149K
	regina-normal_5.1-6+b1_amd64.deb	2018-11-18 01:05	13M
	regina-normal_5.1-6.debian.tar.xz	2018-10-28 17:36	12K
	regina-normal_5.1-6.dsc	2018-10-28 17:36	2.3K
	regina-normal_5.1.orig.tar.gz	2016-12-17 08:03	26M
	regina-normal_6.0.1-4.debian.tar.xz	2021-04-19 15:33	21K
	regina-normal_6.0.1-4.dsc	2021-04-19 15:33	2.2K
	regina-normal_6.0.1-4_amd64.deb	2021-04-19 16:28	14M
	regina-normal_6.0.1.orig.tar.gz	2021-02-11 20:00	30M
	regina-normal_7.3-2.debian.tar.xz	2023-05-04 20:54	14K
	regina-normal_7.3-2.dsc	2023-05-04 20:54	2.2K
	regina-normal_7.3-2_amd64.deb	2023-05-04 22:30	16M
	regina-normal_7.3.orig.tar.gz	2023-03-19 07:48	93M