[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/03: gnu: why3: Update to 1.4.1.
|
From: |
guix-commits |
|
Subject: |
03/03: gnu: why3: Update to 1.4.1. |
|
Date: |
Wed, 2 Mar 2022 03:45:34 -0500 (EST) |
roptat pushed a commit to branch master
in repository guix.
commit 8fc4cfd3ce135d3596923d2328ae0270c36c2f4c
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Wed Mar 2 08:47:53 2022 +0100
gnu: why3: Update to 1.4.1.
* gnu/packages/maths.scm (why3): Update to 1.4.1.
---
gnu/packages/maths.scm | 4 ++--
1 file 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))