../ regina-normal-doc_6.0.1-4_all.deb 19-Apr-2021 11:13 14M regina-normal-doc_7.3-2_all.deb 04-May-2023 17:09 71M regina-normal-doc_7.4.1-1.1_all.deb 16-Dec-2025 14:27 83M