From 79db3c03d6d185540839978ef03ca6c05a2fb6f7 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 14 Jun 2024 15:47:00 +0200
Subject: [PATCH] coq: update to 8.19.2.

---
 srcpkgs/coq/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 06fd2d9e9df..a994063d254 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,6 +1,6 @@
 # Template file for 'coq'
 pkgname=coq
-version=8.19.1
+version=8.19.2
 revision=1
 hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 depends="ocaml-findlib"
@@ -10,7 +10,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-only"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674
+checksum=18035624bcda4f8cffe5f348e02f0ae2503af1c40de165788d7d45578e6c5725
 nopie=yes
 nocross=yes
 make_check=ci-skip  # takes long and has some faults