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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]regina-normal_7.3.orig.tar.gz2023-03-18 19:48 93M 
[   ]regina-normal-doc_7.3-2_all.deb2023-05-04 10:09 71M 
[   ]regina-normal_5.1.orig.tar.gz2016-12-16 19:03 26M 
[   ]regina-normal_7.3-2_amd64.deb2023-05-04 10:30 16M 
[   ]regina-normal-doc_5.1-6_all.deb2018-10-28 05:36 14M 
[   ]regina-normal_5.1-6+b1_amd64.deb2018-11-17 12:05 13M 
[   ]regina-normal-dev_7.3-2_amd64.deb2023-05-04 10:30 811K 
[   ]regina-normal-dev_5.1-6+b1_amd64.deb2018-11-17 12:05 572K 
[   ]regina-normal-mpi_5.1-6+b1_amd64.deb2018-11-17 12:05 149K 
[   ]regina-normal_7.3-2.debian.tar.xz2023-05-04 08:54 14K 
[   ]regina-normal_5.1-6.debian.tar.xz2018-10-28 05:36 12K 
[   ]regina-normal_5.1-6.dsc2018-10-28 05:36 2.3K 
[   ]regina-normal_7.3-2.dsc2023-05-04 08:54 2.2K