From c05b66233ec7389769cdc14eb65b4202715486bb Mon Sep 17 00:00:00 2001
From: Ian Macalinao <ian@moving.wtf>
Date: Sun, 28 Aug 2022 11:05:12 -0500
Subject: [PATCH 1/2] z3: 4.8 -> 4.11
https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0
---
pkgs/applications/science/logic/z3/default.nix | 4 ++++
pkgs/top-level/all-packages.nix | 3 ++-
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix
index 985df6a8f5f0..4d92f4f2ea34 100644
--- a/pkgs/applications/science/logic/z3/default.nix
+++ b/pkgs/applications/science/logic/z3/default.nix
@@ -84,6 +84,10 @@ let common = { version, sha256, patches ? [ ] }:
};
in
{
+ z3_4_11 = common {
+ version = "4.11.0";
+ sha256 = "sha256-ItmtZHDhCeLAVtN7K80dqyAh20o7TM4xk2sTb9QgHvk=";
+ };
z3_4_8 = common {
version = "4.8.15";
sha256 = "0xkwqz0y5d1lfb6kfqy8wn8n2dqalzf4c8ghmjsajc1bpdl70yc5";
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index d5c39a8405e1..06b2d8311935 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -34634,9 +34634,10 @@ with pkgs;
inherit (callPackages ../applications/science/logic/z3 { python = python2; })
+ z3_4_11
z3_4_8
z3_4_7;
- z3 = z3_4_8;
+ z3 = z3_4_11;
z3_4_4_0 = callPackage ../applications/science/logic/z3/4.4.0.nix {
python = python2;
stdenv = if stdenv.isDarwin then stdenv else gcc49Stdenv;
From b6e861e418a022f963c23d25acc0085aef778645 Mon Sep 17 00:00:00 2001
From: Ian Macalinao <ian@moving.wtf>
Date: Mon, 29 Aug 2022 13:43:24 -0500
Subject: [PATCH 2/2] use z3 4.8 as default z3
---
pkgs/top-level/all-packages.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 06b2d8311935..1ebe4ae5a4d8 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -34637,7 +34637,7 @@ with pkgs;
z3_4_11
z3_4_8
z3_4_7;
- z3 = z3_4_11;
+ z3 = z3_4_8;
z3_4_4_0 = callPackage ../applications/science/logic/z3/4.4.0.nix {
python = python2;
stdenv = if stdenv.isDarwin then stdenv else gcc49Stdenv;