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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]regina-normal_5.1.orig.tar.gz2016-12-17 00:23 26M 
[   ]regina-normal-doc_5.1-6ubuntu1_all.deb2020-01-13 08:48 14M 
[   ]regina-normal_5.1-6ubuntu1_amd64.deb2020-01-13 08:48 13M 
[   ]regina-normal-dev_5.1-6ubuntu1_amd64.deb2020-01-13 08:48 488K 
[   ]regina-normal-mpi_5.1-6ubuntu1_amd64.deb2020-01-13 08:48 69K 
[   ]regina-normal_5.1-6ubuntu1.debian.tar.xz2020-01-13 08:33 13K 
[   ]regina-normal_5.1-6ubuntu1.dsc2020-01-13 08:33 2.3K