HCoop
/
jackhill
/
guix
/
guix.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3589c17
)
gnu: coq-stdpp: Update to 1.5.0.
author
Julien Lepiller
<julien@lepiller.eu>
Mon, 5 Jul 2021 21:41:16 +0000
(23:41 +0200)
committer
Julien Lepiller
<julien@lepiller.eu>
Sat, 31 Jul 2021 21:06:14 +0000
(23:06 +0200)
* gnu/packages/coq.scm (coq-stdpp): Update to 1.5.0.
gnu/packages/coq.scm
patch
|
blob
|
blame
|
history
diff --git
a/gnu/packages/coq.scm
b/gnu/packages/coq.scm
index
fa1f407
..
a18edde
100644
(file)
--- a/
gnu/packages/coq.scm
+++ b/
gnu/packages/coq.scm
@@
-598,7
+598,7
@@
kernel.")
(define-public coq-stdpp
(package
(name "coq-stdpp")
- (version "1.
4
.0")
+ (version "1.
5
.0")
(synopsis "Alternative Coq standard library std++")
(source (origin
(method git-fetch)
@@
-608,7
+608,7
@@
kernel.")
(file-name (git-file-name name version))
(sha256
(base32
- "1
m6c7ibwc99jd4cv14v3r327spnfvdf3x2mnq51f9rz99rffk68r
"))))
+ "1
ym0fy620imah89p8b6rii8clx2vmnwcrbwxl3630h24k42092nf
"))))
(build-system gnu-build-system)
(inputs
`(("coq" ,coq)))