../ regina-normal-dev_5.1-6_armhf.deb 22-Jul-2020 15:57 585260 regina-normal-doc_5.1-6_all.deb 22-Jul-2020 15:29 14776636 regina-normal-mpi_5.1-6_armhf.deb 22-Jul-2020 15:06 124460 regina-normal_5.1-6_armhf.deb 22-Jul-2020 16:14 13350520