me
/
guix
Archived
1
0
Fork 0
Code

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>
master
Jean-Pierre De Jesus DIAZ 2024-05-15 17:01:33 +02:00 committed by Andreas Enge
parent 28ce5085a0
commit 05d4190587
No known key found for this signature in database
GPG Key ID: F7D5C9BF765C61E3
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gnu/packages/maths.scm
View File

@ -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))