../ regina-normal-dev_4.2.1-3ubuntu1_i386.deb 07-Jun-2017 13:02 2332142 regina-normal-doc_4.2.1-3ubuntu1_all.deb 07-Jun-2017 13:02 980868 regina-normal_4.2.1-3ubuntu1_i386.deb 07-Jun-2017 13:02 4033302