../ regina-normal-dbgsym_7.3-2_riscv64.deb 05-May-2023 15:03 268M regina-normal-dev_7.3-2_riscv64.deb 05-May-2023 15:03 811K regina-normal_7.3-2_riscv64.buildinfo 05-May-2023 15:03 13K regina-normal_7.3-2_riscv64.deb 05-May-2023 15:03 16M