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