diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
index ffe7a1f262d..720de3704c6 100644
--- a/srcpkgs/ProofGeneral/template
+++ b/srcpkgs/ProofGeneral/template
@@ -1,7 +1,7 @@
 # Template file for 'ProofGeneral'
 pkgname=ProofGeneral
 version=4.4
-revision=1
+revision=2
 wrksrc="PG-${version}"
 noarch=yes
 build_style=gnu-makefile