../ regina-normal-dev_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 499484 regina-normal-doc_5.1-6ubuntu1_all.deb 13-Jan-2020 13:48 14845028 regina-normal-mpi_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 70848 regina-normal_5.1-6ubuntu1.debian.tar.xz 13-Jan-2020 13:33 12836 regina-normal_5.1-6ubuntu1.dsc 13-Jan-2020 13:33 2374 regina-normal_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 14064108 regina-normal_5.1.orig.tar.gz 17-Dec-2016 05:23 27625206