../ regina-normal-dev_7.3-2_amd64.deb 25-May-2023 04:27 830256 regina-normal-dev_7.3-2_i386.deb 25-May-2023 04:27 830276 regina-normal-doc_7.3-2_all.deb 25-May-2023 04:27 74823508 regina-normal_7.3-2.debian.tar.xz 25-May-2023 04:27 14672 regina-normal_7.3-2.dsc 25-May-2023 04:27 2249 regina-normal_7.3-2_amd64.deb 25-May-2023 04:27 16734696 regina-normal_7.3-2_i386.deb 25-May-2023 04:27 17158584 regina-normal_7.3.orig.tar.gz 20-Apr-2023 19:59 96997134