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

../
regina-normal-dbgsym_7.4.1-1.1_sh4.deb             07-Jan-2026 12:03           546637296
regina-normal-dev_7.4.1-1.1_sh4.deb                07-Jan-2026 12:03              925440
regina-normal_7.4.1-1.1_sh4.buildinfo              07-Jan-2026 12:03               12741
regina-normal_7.4.1-1.1_sh4.deb                    07-Jan-2026 12:03            24368472