../ 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