Index of /ftp.debian.org/debian/pool/main/r/regina-normal

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]regina-normal-dev_5.1-6+b1_amd64.deb2018-11-18 01:05 572K 
[   ]regina-normal-dev_6.0.1-4_amd64.deb2021-04-19 16:28 659K 
[   ]regina-normal-doc_5.1-6_all.deb2018-10-28 17:36 14M 
[   ]regina-normal-doc_6.0.1-4_all.deb2021-04-19 16:13 14M 
[   ]regina-normal-mpi_5.1-6+b1_amd64.deb2018-11-18 01:05 149K 
[   ]regina-normal_5.1-6+b1_amd64.deb2018-11-18 01:05 13M 
[   ]regina-normal_6.0.1-4_amd64.deb2021-04-19 16:28 14M