diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-05-15 17:01:33 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-05-15 17:21:01 +0200 |
| commit | 05d4190587bd5111da18eb3b157bd7776a37bc30 (patch) | |
| tree | 079d4e93d625baab9063c617b8c6ba5dad04b20a /gnu/packages/maths.scm | |
| parent | 28ce5085a0a4191c27aecdc085600acf585b607c (diff) | |
| download | guix-05d4190587bd5111da18eb3b157bd7776a37bc30.tar.gz | |
gnu: why3: Update to 1.7.2.
* gnu/packages/maths.scm (why3): Update to 1.7.2. Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index f2280cb392..cbde85751c 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -64,6 +64,7 @@ ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@riseup.net> ;;; Copyright © 2023 David Elsing <david.elsing@posteo.net> ;;; Copyright © 2024 Herman Rimm <herman@rimm.ee> +;;; Copyright © 2024 Foundation Devices, Inc. <hello@foundation.xyz> ;;; ;;; This file is part of GNU Guix. ;;; @@ -9485,7 +9486,7 @@ numeric differences and differences in numeric formats.") (define-public why3 (package (name "why3") - (version "1.6.0") + (version "1.7.2") (source (origin (method git-fetch) (uri (git-reference @@ -9494,7 +9495,7 @@ numeric differences and differences in numeric formats.") (file-name (git-file-name name version)) (sha256 (base32 - "0k3y98xzhrl44vwzq2m6k4nrllrwp3ll69lc2gfl8d77w0wg7gkp")))) + "0fq8wg8ji2v2ssz1d681glmk8glps1irnmdlhqfklaggx01hlf4p")))) (build-system ocaml-build-system) (native-inputs (list autoconf automake coq ocaml which)) |