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

../
regina-normal-dbgsym_7.3-2_hppa.deb                06-May-2023 09:03    351M
regina-normal-dev_7.3-2_hppa.deb                   06-May-2023 09:03    811K
regina-normal_7.3-2_hppa.buildinfo                 06-May-2023 09:03     13K
regina-normal_7.3-2_hppa.deb                       06-May-2023 09:03     16M