diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-12-22 00:41:36 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-12-22 00:41:57 +0100 |
| commit | bdf74dad1a337c2745c80ca94c662e9de0e7b8bb (patch) | |
| tree | ef0742019d3c3d9661d40c685c3575f4e45d023b /gnu/packages/coq.scm | |
| parent | bf8e084d1d19f8c2444d8f6ec3a5cbea28637924 (diff) | |
| download | guix-patches-bdf74dad1a337c2745c80ca94c662e9de0e7b8bb.tar guix-patches-bdf74dad1a337c2745c80ca94c662e9de0e7b8bb.tar.gz | |
gnu: coq: Update to 8.14.1.
* gnu/packages/coq.scm (coq-core): Update to 8.14.1.
Diffstat (limited to 'gnu/packages/coq.scm')
| -rw-r--r-- | gnu/packages/coq.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 5173726ec2..b523ccb065 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 |