diff mbox series

[bug#70567,v3,1/3] gnu: why3: Update to 1.7.2.

Message ID 8b22a962e6ece2c17b45c1844fc4e63d3145c6ae.1715785259.git.jean@foundation.xyz
State New
Headers show
Series [bug#70567,v3,1/3] gnu: why3: Update to 1.7.2. | expand

Commit Message

Jean-Pierre De Jesus DIAZ May 15, 2024, 3:01 p.m. UTC 
* gnu/packages/maths.scm (why3): Update to 1.7.2.

Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b
---
 gnu/packages/maths.scm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)


base-commit: 28ce5085a0a4191c27aecdc085600acf585b607c
diff mbox series

Patch

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 @@  (define-public numdiff
 (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 @@  (define-public why3
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "0k3y98xzhrl44vwzq2m6k4nrllrwp3ll69lc2gfl8d77w0wg7gkp"))))
+                "0fq8wg8ji2v2ssz1d681glmk8glps1irnmdlhqfklaggx01hlf4p"))))
     (build-system ocaml-build-system)
     (native-inputs
      (list autoconf automake coq ocaml which))