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

	Name	Last modified	Size
	Parent Directory		-
	regina-normal-dbgsym_5.1-6+b1_alpha.deb	2018-11-19 00:04	191M
	regina-normal-dev_5.1-6+b1_alpha.deb	2018-11-19 00:04	572K
	regina-normal-mpi-dbgsym_5.1-6+b1_alpha.deb	2018-11-19 00:04	649K
	regina-normal-mpi_5.1-6+b1_alpha.deb	2018-11-19 00:04	146K
	regina-normal_5.1-6+b1_alpha.buildinfo	2018-11-19 00:04	16K
	regina-normal_5.1-6+b1_alpha.deb	2018-11-19 00:04	14M