../ regina-normal-dev_4.93-1_armhf.deb 08-Jun-2012 20:56 524630 regina-normal-doc_4.93-1_all.deb 29-May-2012 04:32 11661888 regina-normal-mpi_4.93-1_armhf.deb 08-Jun-2012 20:56 87914 regina-normal_4.93-1.diff.gz 29-May-2012 04:32 11523 regina-normal_4.93-1.dsc 29-May-2012 04:32 1534 regina-normal_4.93-1_armhf.deb 08-Jun-2012 20:56 5501726 regina-normal_4.93.orig.tar.gz 29-May-2012 04:32 14425211