diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-05-07 17:57:18 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-05-15 16:12:44 +0200 |
| commit | 2ce67731fc5c929cc9fda2836bdaeda98d079f1c (patch) | |
| tree | 4ed25a5a21fa9a8dd7e05efd32bc6c2f1a0d2d20 | |
| parent | 36dc960c7fa675a2ed93b783f209a1e6e396c285 (diff) | |
| download | guix-2ce67731fc5c929cc9fda2836bdaeda98d079f1c.tar.gz | |
gnu: coq-flocq: Update to 4.1.4.
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.4. Change-Id: Ia2bf4bccad712a7bfa5427ef26ad93d39f1fc6e0 Signed-off-by: Andreas Enge <andreas@enge.fr>
| -rw-r--r-- | gnu/packages/coq.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 105b942ad3..11d6b034f1 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -9,6 +9,7 @@ ;;; Copyright © 2021 Xinglu Chen <public@yoctocell.xyz> ;;; Copyright © 2021 Simon Tournier <zimon.toutoune@gmail.com> ;;; Copyright © 2022 Garek Dyszel <garekdyszel@disroot.org> +;;; Copyright © 2024 Foundation Devices, Inc. <hello@foundation.xyz> ;;; ;;; This file is part of GNU Guix. ;;; @@ -217,7 +218,7 @@ provers.") (define-public coq-flocq (package (name "coq-flocq") - (version "4.1.1") + (version "4.1.4") (source (origin (method git-fetch) @@ -227,7 +228,7 @@ provers.") (file-name (git-file-name name version)) (sha256 (base32 - "01x38w58j95ba9679vpb5wv4bvfnrapd5dzjqlyz8k7i8a9sfqn0")))) + "08vrh0h909vmam1b4gfrvcmamnhmr5g0x79zx98hn7cx0vdwysh7")))) (build-system gnu-build-system) (native-inputs (list autoconf automake ocaml which coq)) |