From 8e8b9e9ab9d4a67a8a21b5a91adf3a613e6640ac Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 15 Jul 2022 15:35:11 +0200
Subject: [PATCH] ProofGeneral: update to 4.5.

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

diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
index d6e3f402630..11147a1ea5c 100644
--- a/srcpkgs/ProofGeneral/template
+++ b/srcpkgs/ProofGeneral/template
@@ -1,7 +1,7 @@
 # Template file for 'ProofGeneral'
 pkgname=ProofGeneral
-version=4.4
-revision=3
+version=4.5
+revision=1
 wrksrc="PG-${version}"
 build_style=gnu-makefile
 hostmakedepends="emacs which"
@@ -11,7 +11,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="GPL-2.0-only"
 homepage="https://proofgeneral.github.io/"
 distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
-checksum=1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e
+checksum=b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2
 
 do_install() {
 	make install DESTDIR=${DESTDIR}