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

Icon  Name                                         Last modified      Size  Description
[DIR] Parent Directory                                                  -   
[   ] regina-normal-dbgsym_4.96-2.1+b1_x32.deb     11-Feb-2016 10:40  439K  
[   ] regina-normal-dev_4.96-2.1+b1_x32.deb        11-Feb-2016 10:40  479K  
[   ] regina-normal-mpi-dbgsym_4.96-2.1+b1_x32.deb 11-Feb-2016 10:40   13K  
[   ] regina-normal-mpi_4.96-2.1+b1_x32.deb        11-Feb-2016 10:40  123K  
[   ] regina-normal_4.96-2.1+b1_x32.deb            11-Feb-2016 10:40  8.0M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80