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

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