../ regina-normal-dev_7.3-2_arm64.deb 04-May-2023 09:10 830256 regina-normal-dev_7.3-2_armel.deb 04-May-2023 09:15 830268 regina-normal-dev_7.3-2_armhf.deb 04-May-2023 08:30 830276 regina-normal-doc_7.3-2_all.deb 04-May-2023 08:09 74823508 regina-normal_7.3-2_arm64.deb 04-May-2023 09:10 15805256 regina-normal_7.3-2_armel.deb 04-May-2023 09:15 15640384 regina-normal_7.3-2_armhf.deb 04-May-2023 08:30 15883360