../ regina-normal-dev_7.3-2_amd64.deb 17-Jul-2023 15:22 830256 regina-normal-dev_7.3-2_arm64.deb 17-Jul-2023 14:02 830256 regina-normal-dev_7.3-2_i386.deb 17-Jul-2023 20:26 830276 regina-normal-doc_7.3-2_all.deb 17-Jul-2023 14:02 74823508 regina-normal_7.3-2_amd64.deb 17-Jul-2023 18:18 16734696 regina-normal_7.3-2_arm64.deb 17-Jul-2023 18:42 15805256 regina-normal_7.3-2_i386.deb 17-Jul-2023 13:09 17158584