[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: gnu: coq: Update to 8.14.1.
From: |
guix-commits |
Subject: |
branch master updated: gnu: coq: Update to 8.14.1. |
Date: |
Tue, 21 Dec 2021 18:42:28 -0500 |
This is an automated email from the git hooks/post-receive script.
roptat pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new bdf74da gnu: coq: Update to 8.14.1.
bdf74da is described below
commit bdf74dad1a337c2745c80ca94c662e9de0e7b8bb
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Wed Dec 22 00:41:36 2021 +0100
gnu: coq: Update to 8.14.1.
* gnu/packages/coq.scm (coq-core): Update to 8.14.1.
---
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 5173726..b523ccb 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -52,7 +52,7 @@
(define-public coq-core
(package
(name "coq-core")
- (version "8.14.0")
+ (version "8.14.1")
(source
(origin
(method git-fetch)
@@ -62,7 +62,7 @@
(file-name (git-file-name name version))
(sha256
(base32
- "0iachapmdwvwwlvkrb2yxhqqrgzs70zyr1c9v1jdb1awx3bp68hf"))
+ "0q634fmrh5ivpxy7ammdiqdh9xp72ji2726vcz1bd55ln0d08z40"))
(patches (search-patches "coq-fix-envvars.patch"))))
(native-search-paths
(list (search-path-specification
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch master updated: gnu: coq: Update to 8.14.1.,
guix-commits <=