../ proofgeneral-doc_4.4.1~pre170114-1_all.deb 16-Jan-2017 21:49 682170 proofgeneral_4.4.1~pre170114-1.debian.tar.xz 16-Jan-2017 21:49 19736 proofgeneral_4.4.1~pre170114-1.dsc 16-Jan-2017 21:49 1989 proofgeneral_4.4.1~pre170114-1_all.deb 16-Jan-2017 21:49 603216 proofgeneral_4.4.1~pre170114.orig.tar.xz 16-Jan-2017 21:49 9299752