@@ -63,6 +63,7 @@
;;; Copyright © 2023 Jake Leporte <jakeleporte@outlook.com>
;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@riseup.net>
;;; Copyright © 2023 David Elsing <david.elsing@posteo.net>
+;;; Copyright © 2024 Foundation Devices, Inc. <hello@foundation.xyz>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -9388,7 +9389,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
@@ -9397,7 +9398,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))