../ regina-normal-dev_4.95-1build1_amd64.deb 16-Dec-2013 06:18 394938 regina-normal-doc_4.95-1build1_all.deb 16-Dec-2013 06:18 11396754 regina-normal-mpi_4.95-1build1_amd64.deb 16-Dec-2013 06:18 53674 regina-normal_4.95-1build1_amd64.deb 16-Dec-2013 06:18 4702332