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

 Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 regina-normal-dbgsym_5.1-6+b3_riscv64.deb     25-Jan-2020 07:03  162M  
 regina-normal-dev_5.1-6+b3_riscv64.deb        25-Jan-2020 07:03  572K  
 regina-normal-mpi-dbgsym_5.1-6+b3_riscv64.deb 25-Jan-2020 07:03  590K  
 regina-normal-mpi_5.1-6+b3_riscv64.deb        25-Jan-2020 07:03  149K  
 regina-normal_5.1-6+b3_riscv64.buildinfo      25-Jan-2020 07:03   15K  
 regina-normal_5.1-6+b3_riscv64.deb            25-Jan-2020 07:03   14M