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

	Name	Last modified	Size	Description
	Parent Directory		-
	regina-normal-dev_5.1-6+b1_amd64.deb	2019-08-27 12:02	572K
	regina-normal-dev_6.0.1-4_amd64.deb	2023-02-25 17:39	659K
	regina-normal-dev_7.2-3_amd64.deb	2023-03-12 08:14	795K
	regina-normal-dev_7.3-1_amd64.deb	2023-04-28 16:56	811K
	regina-normal-dev_7.3-2_amd64.deb	2023-10-17 16:25	811K
	regina-normal-doc_5.1-6_all.deb	2019-08-27 12:02	14M
	regina-normal-doc_6.0.1-4_all.deb	2023-02-25 17:39	14M
	regina-normal-doc_7.2-3_all.deb	2023-03-12 08:14	71M
	regina-normal-doc_7.3-1_all.deb	2023-04-28 16:56	71M
	regina-normal-doc_7.3-2_all.deb	2023-10-17 16:25	71M
	regina-normal-mpi_5.1-6+b1_amd64.deb	2019-08-27 12:02	149K
	regina-normal_5.1-6+b1_amd64.deb	2019-08-27 12:02	13M
	regina-normal_5.1-6.debian.tar.xz	2019-08-27 12:02	12K
	regina-normal_5.1-6.dsc	2019-08-27 12:02	2.3K
	regina-normal_5.1.orig.tar.gz	2019-08-27 12:02	26M
	regina-normal_6.0.1-4.debian.tar.xz	2023-02-25 17:39	21K
	regina-normal_6.0.1-4.dsc	2023-02-25 17:39	2.2K
	regina-normal_6.0.1-4_amd64.deb	2023-02-25 17:39	14M
	regina-normal_6.0.1.orig.tar.gz	2023-02-25 17:39	30M
	regina-normal_7.2-3.debian.tar.xz	2023-03-12 08:14	15K
	regina-normal_7.2-3.dsc	2023-03-12 08:14	2.2K
	regina-normal_7.2-3_amd64.deb	2023-03-12 08:14	16M
	regina-normal_7.2.orig.tar.gz	2023-03-12 08:14	92M
	regina-normal_7.3-1.debian.tar.xz	2023-04-28 16:56	14K
	regina-normal_7.3-1.dsc	2023-04-28 16:56	2.2K
	regina-normal_7.3-1_amd64.deb	2023-04-28 16:56	16M
	regina-normal_7.3-2.debian.tar.xz	2023-10-17 16:25	14K
	regina-normal_7.3-2.dsc	2023-10-17 16:25	2.2K
	regina-normal_7.3-2_amd64.deb	2023-10-17 16:25	16M
	regina-normal_7.3.orig.tar.gz	2023-04-28 16:56	93M