[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
15/21: gnu: z3: Update to 4.8.7.
From: |
guix-commits |
Subject: |
15/21: gnu: z3: Update to 4.8.7. |
Date: |
Sat, 30 Nov 2019 18:54:14 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit dbef037ff48460ec8f7bb4dbb3139c74403a9378
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Sun Dec 1 00:48:07 2019 +0100
gnu: z3: Update to 4.8.7.
* gnu/packages/maths.scm (z3): Update to 4.8.7.
---
gnu/packages/maths.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 0d303dc..b9d1dce 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -4108,7 +4108,7 @@ as equations, scalars, vectors, and matrices.")
(define-public z3
(package
(name "z3")
- (version "4.8.6")
+ (version "4.8.7")
(home-page "https://github.com/Z3Prover/z3")
(source (origin
(method git-fetch)
@@ -4117,7 +4117,7 @@ as equations, scalars, vectors, and matrices.")
(file-name (git-file-name name version))
(sha256
(base32
- "1sywcqj5y8yp28m4cdvzsgw74kd6zr1s3y1x17ky8pr9prvpvl6x"))))
+ "0hprcdwhhyjigmhhk6514m71bnmvqci9r8gglrqilgx424r6ff7q"))))
(build-system gnu-build-system)
(arguments
`(#:phases
- branch master updated (27b7722 -> 4a62a29), guix-commits, 2019/11/30
- 09/21: gnu: emacs-howm: Use HTTPS source and home page., guix-commits, 2019/11/30
- 11/21: gnu: nauty: Update to 2.6r12., guix-commits, 2019/11/30
- 03/21: gnu: nasm: Don't use NAME in source URI., guix-commits, 2019/11/30
- 06/21: gnu: ncdu: Update to 1.14.1., guix-commits, 2019/11/30
- 10/21: gnu: calf: Update to 0.90.3., guix-commits, 2019/11/30
- 02/21: gnu: calcurse: Update to 4.5.1., guix-commits, 2019/11/30
- 05/21: gnu: f2fs-tools: Update to 1.13.0., guix-commits, 2019/11/30
- 12/21: gnu: paperkey: Update to 1.6., guix-commits, 2019/11/30
- 08/21: gnu: emacs-howm: Update to 1.4.5., guix-commits, 2019/11/30
- 15/21: gnu: z3: Update to 4.8.7.,
guix-commits <=
- 13/21: gnu: paperkey: Use HTTPS source and home page., guix-commits, 2019/11/30
- 19/21: gnu: edgar: Update to 1.32., guix-commits, 2019/11/30
- 20/21: gnu: yapet: Update to 2.3., guix-commits, 2019/11/30
- 04/21: gnu: toybox: Update to 0.8.2., guix-commits, 2019/11/30
- 16/21: gnu: tnef: Update to 1.4.18., guix-commits, 2019/11/30
- 07/21: gnu: dcmtk: Update to 3.6.5., guix-commits, 2019/11/30
- 01/21: gnu: toot: Update to 0.24.0., guix-commits, 2019/11/30
- 17/21: gnu: ncdc: Update to 1.22.1., guix-commits, 2019/11/30
- 18/21: gnu: gnu-efi: Update to 3.0.11., guix-commits, 2019/11/30
- 21/21: gnu: arandr: Download over HTTPS., guix-commits, 2019/11/30