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

../
regina-normal-dbgsym_7.1-1_sh4.deb                 29-Sep-2022 18:03           276870076
regina-normal-dbgsym_7.3.1-1_sh4.deb               11-Jul-2025 18:03           321916068
regina-normal-dev_7.1-1_sh4.deb                    29-Sep-2022 18:03              809364
regina-normal-dev_7.3.1-1_sh4.deb                  11-Jul-2025 18:03              831856
regina-normal_7.1-1_sh4.buildinfo                  29-Sep-2022 18:03               12936
regina-normal_7.1-1_sh4.deb                        29-Sep-2022 18:03            16611740
regina-normal_7.3.1-1_sh4.buildinfo                11-Jul-2025 18:03               13220
regina-normal_7.3.1-1_sh4.deb                      11-Jul-2025 18:03            19171884