me
/
guix
Archived
1
0
Fork 0
Code

gnu: why3: Update to 1.4.1. 

* gnu/packages/maths.scm (why3): Update to 1.4.1.
Julien Lepiller 2022-03-02 08:47:53 +01:00
parent 21326a9db4
commit 8fc4cfd3ce
No known key found for this signature in database
GPG Key ID: 53D457B2D636EE82
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/maths.scm
View File

@ -7136,7 +7136,7 @@ numeric differences and differences in numeric formats.")
(define-public why3 (define-public why3
(package (package
(name "why3") (name "why3")
(version "1.4.0") (version "1.4.1")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
@ -7145,7 +7145,7 @@ numeric differences and differences in numeric formats.")
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"0pfsiddnk26f384wbazfpgzh1n1ibf3xq101q74mxvczi7z0a791")))) "1yca6mx8bjm8x0i594ivh31aw45s6fbimmwfj8g2v9zwrgmr1i4s"))))
(build-system ocaml-build-system) (build-system ocaml-build-system)
(native-inputs (native-inputs
(list autoconf automake coq ocaml which)) (list autoconf automake coq ocaml which))