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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]regina-normal-dev_5.1-6ubuntu1_amd64.deb2020-01-13 20:48 488K 
[   ]regina-normal-dev_7.0-2build1_amd64.deb2022-01-14 19:54 669K 
[   ]regina-normal-doc_5.1-6ubuntu1_all.deb2020-01-13 20:48 14M 
[   ]regina-normal-doc_7.0-2build1_all.deb2022-01-14 19:54 71M 
[   ]regina-normal-mpi_5.1-6ubuntu1_amd64.deb2020-01-13 20:48 69K 
[   ]regina-normal_5.1-6ubuntu1_amd64.deb2020-01-13 20:48 13M 
[   ]regina-normal_7.0-2build1_amd64.deb2022-01-14 19:54 14M 

Apache/2.4.62 (Debian) Server at mirror-gw.elastis.id Port 80