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

../
regina-normal-dbgsym_7.3-2_ia64.deb                05-May-2023 00:03           402903260
regina-normal-dev_7.3-2_ia64.deb                   05-May-2023 00:03              830256
regina-normal_7.3-2_ia64.buildinfo                 05-May-2023 00:03               13067
regina-normal_7.3-2_ia64.deb                       05-May-2023 00:03            18139372