ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-26 12:39:36 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Update coq-flocq to 4.1.1.

Browse source 
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.1.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Ib2d8fb4701d03a5e796736ab5b2a30dc6897dc22
This commit is contained in:
pukkamustard 2024-01-10 08:43:03 +01:00 committed by Julien Lepiller
parent fe0c13b1f9
commit 95c30e0334
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gnu/packages/coq.scm
View file

@ -242,7 +242,7 @@ (define-public proof-general
(define-public coq-flocq
(package
(name "coq-flocq")
(version "4.1.0")
(version "4.1.1")
(source
(origin
(method git-fetch)
@ -252,7 +252,7 @@ (define-public coq-flocq
(file-name (git-file-name name version))
(sha256
(base32
"1yscj1120wch6myakaia03j11qji416v78ylx842d23hrbaqwmw5"))))
"01x38w58j95ba9679vpb5wv4bvfnrapd5dzjqlyz8k7i8a9sfqn0"))))
(build-system gnu-build-system)
(native-inputs
(list autoconf automake ocaml which coq))