../ regina-normal-dev_4.96-2_armhf.deb 26-Nov-2014 11:10 490804 regina-normal-doc_4.96-2_all.deb 16-Nov-2014 02:03 12246726 regina-normal-mpi_4.96-2_armhf.deb 26-Nov-2014 11:10 106320 regina-normal_4.96-2.diff.gz 16-Nov-2014 02:03 12262 regina-normal_4.96-2.dsc 16-Nov-2014 02:03 1593 regina-normal_4.96-2_armhf.deb 26-Nov-2014 11:10 7908752 regina-normal_4.96.orig.tar.gz 29-Aug-2014 15:31 20864658