From 35cc81b0bf65c08aff93a9323790c41b2660babf Mon Sep 17 00:00:00 2001
From: Jean-Pierre De Jesus DIAZ <jean@foundation.xyz>
Date: Tue, 20 Aug 2024 12:31:19 +0200
Subject: gnu: coq: Update to 8.18.0.

* gnu/packages/coq.scm (coq): Update to 8.18.0.

Change-Id: I644a4538538a23d736fca2fab541c2cd2fb1f472
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
---
 gnu/packages/coq.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'gnu')

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index be95d16991..fcd60a06b4 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -56,7 +56,7 @@
 (define-public coq
   (package
     (name "coq")
-    (version "8.17.1")
+    (version "8.18.0")
     (source
      (origin
        (method git-fetch)
@@ -66,7 +66,7 @@
        (file-name (git-file-name name version))
        (sha256
         (base32
-         "0gg6hizq0i08lk741b579cbswhy6qvkh6inc3d3i5a2af98psq63"))))
+         "1qy71gdr4s2l6847b4nwns6akib2f7l725zb01m7zc26n6mrrh1m"))))
     (native-search-paths
      (list (search-path-specification
             (variable "COQPATH")
-- 
cgit v1.2.3