../ regina-normal-dev_7.3-2_amd64.deb 04-May-2023 09:30 830256 regina-normal-dev_7.3-2_i386.deb 04-May-2023 09:14 830276 regina-normal-doc_7.3-2_all.deb 04-May-2023 09:09 74823508 regina-normal_7.3-2.debian.tar.xz 04-May-2023 07:54 14672 regina-normal_7.3-2.dsc 04-May-2023 07:54 2249 regina-normal_7.3-2_amd64.deb 04-May-2023 09:30 16734696 regina-normal_7.3-2_i386.deb 04-May-2023 09:14 17158584 regina-normal_7.3.orig.tar.gz 18-Mar-2023 18:48 96997134