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

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