diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
index ecb4f4879d7..24dd9b0d892 100644
--- a/srcpkgs/ProofGeneral/template
+++ b/srcpkgs/ProofGeneral/template
@@ -1,11 +1,12 @@
 # Template file for 'ProofGeneral'
 pkgname=ProofGeneral
+noarch=yes
 version=4.2
-revision=1
+revision=2
 noarch=yes
 build_style=gnu-makefile
 hostmakedepends="emacs"
-depends="emacs"
+depends="emacs perl"
 short_desc="Generic Emacs front-end for proof assistants"
 maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
 license="GPL-2"