../ regina-normal-dbgsym_7.3-2_riscv64.deb 29-May-2024 07:17 281206496 regina-normal-dev_7.3-2_riscv64.deb 29-May-2024 07:17 830256 regina-normal-doc_7.3-2_all.deb 29-May-2024 07:17 74823508 regina-normal_7.3-2.debian.tar.xz 08-May-2024 16:19 14672 regina-normal_7.3-2.dsc 08-May-2024 16:19 2249 regina-normal_7.3-2_riscv64.deb 29-May-2024 07:17 16760876 regina-normal_7.3.orig.tar.gz 08-May-2024 16:19 96997134