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

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.62 (Debian) Server at 213.142.141.79 Port 80