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

	Name	Last modified	Size	Description
	Parent Directory		-
	regina-normal-dev_5.1-2build1_amd64.deb	2017-10-26 23:30	488K
	regina-normal-dev_5.1-2build2_amd64.deb	2021-01-13 20:13	488K
	regina-normal-dev_5.1-6ubuntu1_amd64.deb	2020-01-13 13:48	488K
	regina-normal-dev_7.0-2build1_amd64.deb	2022-01-14 12:54	669K
	regina-normal-dev_7.2-3_amd64.deb	2023-01-25 12:54	692K
	regina-normal-dev_7.3-2_amd64.deb	2023-05-05 00:29	705K
	regina-normal-doc_5.1-2build1_all.deb	2017-10-26 23:30	14M
	regina-normal-doc_5.1-2build2_all.deb	2021-01-13 20:13	14M
	regina-normal-doc_5.1-6ubuntu1_all.deb	2020-01-13 13:48	14M
	regina-normal-doc_7.0-2build1_all.deb	2022-01-14 12:54	71M
	regina-normal-doc_7.2-3_all.deb	2023-01-25 12:54	72M
	regina-normal-doc_7.3-2_all.deb	2023-05-05 00:29	72M
	regina-normal-mpi_5.1-2build1_amd64.deb	2017-10-26 23:30	65K
	regina-normal-mpi_5.1-2build2_amd64.deb	2021-01-13 20:13	65K
	regina-normal-mpi_5.1-6ubuntu1_amd64.deb	2020-01-13 13:48	69K
	regina-normal_5.1-2build1_amd64.deb	2017-10-26 23:30	13M
	regina-normal_5.1-2build2_amd64.deb	2021-01-13 20:13	13M
	regina-normal_5.1-6ubuntu1_amd64.deb	2020-01-13 13:48	13M
	regina-normal_7.0-2build1_amd64.deb	2022-01-14 12:54	14M
	regina-normal_7.2-3_amd64.deb	2023-01-25 12:54	15M
	regina-normal_7.3-2_amd64.deb	2023-05-05 00:29	16M