diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
index 24dd9b0d89..ffe7a1f262 100644
--- a/srcpkgs/ProofGeneral/template
+++ b/srcpkgs/ProofGeneral/template
@@ -1,25 +1,18 @@
 # Template file for 'ProofGeneral'
 pkgname=ProofGeneral
-noarch=yes
-version=4.2
-revision=2
+version=4.4
+revision=1
+wrksrc="PG-${version}"
 noarch=yes
 build_style=gnu-makefile
 hostmakedepends="emacs"
 depends="emacs perl"
 short_desc="Generic Emacs front-end for proof assistants"
-maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
+maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="GPL-2"
-homepage="http://proofgeneral.inf.ed.ac.uk/releases/"
-distfiles="http://proofgeneral.inf.ed.ac.uk/releases/${pkgname}-${version}.tgz"
-checksum=3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27
-
-pre_build() {
-	make clean
-	sed -i 's/byte-compile-error-on-warn/dont-&/g' Makefile
-	sed -i 's/do adddecs/\&adddecs/g' coq/coqtags
-	chmod +x isar/isartags
-}
+homepage="https://proofgeneral.github.io/"
+distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
+checksum=1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e
 
 do_install() {
 	make install DESTDIR=${DESTDIR}
diff --git a/srcpkgs/ProofGeneral/update b/srcpkgs/ProofGeneral/update
deleted file mode 100644
index 8758aff9cb..0000000000
--- a/srcpkgs/ProofGeneral/update
+++ /dev/null
@@ -1 +0,0 @@
-ignore="*pre*"