../ regina-normal-dev_5.96-1_amd64.deb 15-Jan-2021 16:17 670016 regina-normal-doc_5.96-1_all.deb 15-Jan-2021 16:23 15013188 regina-normal_5.96-1_amd64.deb 15-Jan-2021 16:27 12799204