../ proofgeneral-doc_4.3~pre131011-0.2_all.deb 17-Nov-2014 00:54 671K proofgeneral_4.3~pre131011-0.2.debian.tar.xz 17-Nov-2014 00:54 19K proofgeneral_4.3~pre131011-0.2.dsc 17-Nov-2014 00:54 1975 proofgeneral_4.3~pre131011-0.2_all.deb 17-Nov-2014 00:54 367K proofgeneral_4.3~pre131011.orig.tar.xz 12-Aug-2014 21:27 11M