01/03: gnu: coq-semantics: Update to 8.14.0.

[guix-commits]

roptat pushed a commit to branch master
in repository guix.

commit bcd4c7ae6a8e8374cc75a5daf8e8b27138dc162f
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Sun Nov 28 17:39:01 2021 +0100

    gnu: coq-semantics: Update to 8.14.0.
    
    * gnu/packages/coq.scm (coq-semantics): Update to 8.14.0.
---
 gnu/packages/coq.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index a27ec53..e3c4190 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -576,7 +576,7 @@ kernel.")
 (define-public coq-semantics
   (package
     (name "coq-semantics")
-    (version "8.13.0")
+    (version "8.14.0")
     (source
       (origin
         (method git-fetch)
@@ -591,7 +591,7 @@ kernel.")
         (file-name (git-file-name name version))
         (sha256
          (base32
-          "0m5si9dsv96z92gy4xaqz8mzyz8zp7j1sp542l0wzsp5xgyfpc7i"))))
+          "0ldrp86bfcjpzsb08p45sgs3aczjzr1gksy5dsf7pxapg05pc7ac"))))
     (build-system gnu-build-system)
     (native-inputs
      `(("coq" ,coq)