me
/
guix
Archived
1
0
Fork 0
Code

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>
master
Jean-Pierre De Jesus DIAZ 2024-05-07 17:57:18 +02:00 committed by Andreas Enge
parent 36dc960c7f
commit 2ce67731fc
No known key found for this signature in database
GPG Key ID: F7D5C9BF765C61E3
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gnu/packages/coq.scm
View File

@ -9,6 +9,7 @@
;;; Copyright © 2021 Xinglu Chen <public@yoctocell.xyz> ;;; Copyright © 2021 Xinglu Chen <public@yoctocell.xyz>
;;; Copyright © 2021 Simon Tournier <zimon.toutoune@gmail.com> ;;; Copyright © 2021 Simon Tournier <zimon.toutoune@gmail.com>
;;; Copyright © 2022 Garek Dyszel <garekdyszel@disroot.org> ;;; Copyright © 2022 Garek Dyszel <garekdyszel@disroot.org>
;;; Copyright © 2024 Foundation Devices, Inc. <hello@foundation.xyz>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -217,7 +218,7 @@ provers.")
(define-public coq-flocq (define-public coq-flocq
(package (package
(name "coq-flocq") (name "coq-flocq")
(version "4.1.1") (version "4.1.4")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -227,7 +228,7 @@ provers.")
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"01x38w58j95ba9679vpb5wv4bvfnrapd5dzjqlyz8k7i8a9sfqn0")))) "08vrh0h909vmam1b4gfrvcmamnhmr5g0x79zx98hn7cx0vdwysh7"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
(list autoconf automake ocaml which coq)) (list autoconf automake ocaml which coq))