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

../
regina-normal-dbgsym_7.4-1_sh4.deb                 29-Aug-2025 12:03    371M
regina-normal-dev_7.4-1_sh4.deb                    29-Aug-2025 12:03    903K
regina-normal_7.4-1_sh4.buildinfo                  29-Aug-2025 12:03     13K
regina-normal_7.4-1_sh4.deb                        29-Aug-2025 12:03     24M