From d5a147da4b528b2718c03b8a3df8e58ef6c5e64d Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sun, 10 Sep 2023 13:29:35 +0200
Subject: [PATCH] coq: update to 8.18.0.

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

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 5885722e561..78d6caa780d 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,6 +1,6 @@
 # Template file for 'coq'
 pkgname=coq
-version=8.17.1
+version=8.18.0
 revision=1
 hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 depends="ocaml-findlib"
@@ -9,7 +9,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=724667de65825359081b747d41fdbead0620d43b57aa8377a27acd4b072585e6
+checksum=00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b
 nopie=yes
 nocross=yes