From 62f30c53cee72f836e6972c77fcf5869d7fb61cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C4=90o=C3=A0n=20Tr=E1=BA=A7n=20C=C3=B4ng=20Danh?=
 <congdanhqx@gmail.com>
Date: Mon, 5 Oct 2020 07:27:03 +0700
Subject: [PATCH] ProofGeneral: drop noarch

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

diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
index 208e58f8d68..d6e3f402630 100644
--- a/srcpkgs/ProofGeneral/template
+++ b/srcpkgs/ProofGeneral/template
@@ -1,15 +1,14 @@
 # Template file for 'ProofGeneral'
 pkgname=ProofGeneral
 version=4.4
-revision=2
+revision=3
 wrksrc="PG-${version}"
-archs=noarch
 build_style=gnu-makefile
 hostmakedepends="emacs which"
 depends="emacs perl"
 short_desc="Generic Emacs front-end for proof assistants"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
-license="GPL-2"
+license="GPL-2.0-only"
 homepage="https://proofgeneral.github.io/"
 distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
 checksum=1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e