../ regina-normal-dev_5.1-6+b1_amd64.deb 17-Nov-2018 18:05 585392 regina-normal-dev_5.1-6+b1_arm64.deb 17-Nov-2018 10:27 585504 regina-normal-dev_5.1-6+b1_armhf.deb 17-Nov-2018 14:26 585468 regina-normal-dev_5.1-6+b1_i386.deb 17-Nov-2018 08:25 585532 regina-normal-dev_6.0.1-4_amd64.deb 19-Apr-2021 09:28 674328 regina-normal-dev_6.0.1-4_arm64.deb 19-Apr-2021 09:44 674328 regina-normal-dev_6.0.1-4_armel.deb 19-Apr-2021 09:59 674368 regina-normal-dev_6.0.1-4_armhf.deb 19-Apr-2021 10:00 674364 regina-normal-dev_6.0.1-4_i386.deb 19-Apr-2021 09:44 674360 regina-normal-dev_7.3-2_amd64.deb 04-May-2023 15:30 830256 regina-normal-dev_7.3-2_arm64.deb 04-May-2023 16:10 830256 regina-normal-dev_7.3-2_armel.deb 04-May-2023 16:15 830268 regina-normal-dev_7.3-2_armhf.deb 04-May-2023 15:30 830276 regina-normal-dev_7.3-2_i386.deb 04-May-2023 15:14 830276 regina-normal-doc_5.1-6_all.deb 28-Oct-2018 10:36 14776636 regina-normal-doc_6.0.1-4_all.deb 19-Apr-2021 09:13 14649796 regina-normal-doc_7.3-2_all.deb 04-May-2023 15:09 74823508 regina-normal-mpi_5.1-6+b1_amd64.deb 17-Nov-2018 18:05 152884 regina-normal-mpi_5.1-6+b1_arm64.deb 17-Nov-2018 10:27 148672 regina-normal-mpi_5.1-6+b1_armhf.deb 17-Nov-2018 14:26 126956 regina-normal-mpi_5.1-6+b1_i386.deb 17-Nov-2018 08:25 151948 regina-normal_5.1-6+b1_amd64.deb 17-Nov-2018 18:05 13934416 regina-normal_5.1-6+b1_arm64.deb 17-Nov-2018 10:27 13809124 regina-normal_5.1-6+b1_armhf.deb 17-Nov-2018 14:26 13463084 regina-normal_5.1-6+b1_i386.deb 17-Nov-2018 08:25 14304660 regina-normal_5.1-6.debian.tar.xz 28-Oct-2018 10:36 12732 regina-normal_5.1-6.dsc 28-Oct-2018 10:36 2320 regina-normal_5.1.orig.tar.gz 17-Dec-2016 01:03 27625206 regina-normal_6.0.1-4.debian.tar.xz 19-Apr-2021 08:33 21780 regina-normal_6.0.1-4.dsc 19-Apr-2021 08:33 2219 regina-normal_6.0.1-4_amd64.deb 19-Apr-2021 09:28 14505188 regina-normal_6.0.1-4_arm64.deb 19-Apr-2021 09:44 13990496 regina-normal_6.0.1-4_armel.deb 19-Apr-2021 09:59 13859604 regina-normal_6.0.1-4_armhf.deb 19-Apr-2021 10:00 14194680 regina-normal_6.0.1-4_i386.deb 19-Apr-2021 09:44 14937924 regina-normal_6.0.1.orig.tar.gz 11-Feb-2021 13:00 31072348 regina-normal_7.3-2.debian.tar.xz 04-May-2023 13:54 14672 regina-normal_7.3-2.dsc 04-May-2023 13:54 2249 regina-normal_7.3-2_amd64.deb 04-May-2023 15:30 16734696 regina-normal_7.3-2_arm64.deb 04-May-2023 16:10 15805256 regina-normal_7.3-2_armel.deb 04-May-2023 16:15 15640384 regina-normal_7.3-2_armhf.deb 04-May-2023 15:30 15883360 regina-normal_7.3-2_i386.deb 04-May-2023 15:14 17158584 regina-normal_7.3.orig.tar.gz 19-Mar-2023 00:48 96997134