summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2022-03-02 08:47:53 +0100
committerJulien Lepiller <julien@lepiller.eu>2022-03-02 09:45:16 +0100
commit8fc4cfd3ce135d3596923d2328ae0270c36c2f4c (patch)
tree6c33d18fa6ef277463f2ce8f3cccef57585746d7 /gnu
parent21326a9db4338a0875f34ce80cf9e7da72714b79 (diff)
gnu: why3: Update to 1.4.1.
* gnu/packages/maths.scm (why3): Update to 1.4.1.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/maths.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 1683f88ed1..70b0d76ea5 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -7136,7 +7136,7 @@ numeric differences and differences in numeric formats.")
(define-public why3
(package
(name "why3")
- (version "1.4.0")
+ (version "1.4.1")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -7145,7 +7145,7 @@ numeric differences and differences in numeric formats.")
(file-name (git-file-name name version))
(sha256
(base32
- "0pfsiddnk26f384wbazfpgzh1n1ibf3xq101q74mxvczi7z0a791"))))
+ "1yca6mx8bjm8x0i594ivh31aw45s6fbimmwfj8g2v9zwrgmr1i4s"))))
(build-system ocaml-build-system)
(native-inputs
(list autoconf automake coq ocaml which))