From c26854f5f03843f99daec5602c8fa2ba312aa303 Mon Sep 17 00:00:00 2001
From: Christian Neukirchen <chneukirchen@gmail.com>
Date: Mon, 11 May 2015 11:39:33 +0200
Subject: [PATCH] ProofGeneral: noarch and add perl dep.

---
 srcpkgs/ProofGeneral/template | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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"