../ regina-normal-dev_4.96-2.1build2_amd64.deb 16-Mar-2016 09:57 421760 regina-normal-doc_4.96-2.1build2_all.deb 16-Mar-2016 10:23 12122398 regina-normal-mpi_4.96-2.1build2_amd64.deb 16-Mar-2016 11:23 56058 regina-normal_4.96-2.1build2_amd64.deb 16-Mar-2016 10:11 8287800