../ proofgeneral-doc_4.4.1~pre170114-1_all.deb 17-Jan-2017 05:49 666K proofgeneral_4.4.1~pre170114-1.debian.tar.xz 17-Jan-2017 05:49 19K proofgeneral_4.4.1~pre170114-1.dsc 17-Jan-2017 05:49 1989 proofgeneral_4.4.1~pre170114-1_all.deb 17-Jan-2017 05:49 589K proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 05:49 9M