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

../
regina-normal-dbgsym_7.3-2_hppa.deb                06-May-2023 00:03           368458448
regina-normal-dev_7.3-2_hppa.deb                   06-May-2023 00:03              830272
regina-normal_7.3-2_hppa.buildinfo                 06-May-2023 00:03               12986
regina-normal_7.3-2_hppa.deb                       06-May-2023 00:03            17090268