From 2c0a8e50509e4875b893065e91f1ba311da28885 Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Sat, 24 Jun 2023 04:20:00 +0000 Subject: [PATCH 1/3] z3: add changelog to meta --- pkgs/applications/science/logic/z3/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index f36b26d9a398..7b18846feeb2 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -80,6 +80,7 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }: meta = with lib; { description = "A high-performance theorem prover and SMT solver"; homepage = "https://github.com/Z3Prover/z3"; + changelog = "https://github.com/Z3Prover/z3/releases/tag/z3-${version}"; license = licenses.mit; platforms = platforms.unix; maintainers = with maintainers; [ thoughtpolice ttuegel ]; From f87301f5f1957778ec80a27705477e66dd323bb0 Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Sat, 24 Jun 2023 04:20:00 +0000 Subject: [PATCH 2/3] z3_4_11: 4.11.0 -> 4.11.2 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.2 --- pkgs/applications/science/logic/z3/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 7b18846feeb2..adee027d3037 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -93,8 +93,8 @@ in sha256 = "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus="; }; z3_4_11 = common { - version = "4.11.0"; - sha256 = "sha256-ItmtZHDhCeLAVtN7K80dqyAh20o7TM4xk2sTb9QgHvk="; + version = "4.11.2"; + sha256 = "sha256-OO0wtCvSKwGxnKvu+AfXe4mEzv4nofa7A00BjX+KVjc="; }; z3_4_8 = common { version = "4.8.17"; From cce72805397bbed740bf1536c47f86f05eff3548 Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Sat, 24 Jun 2023 04:20:00 +0000 Subject: [PATCH 3/3] z3_4_12: 4.12.1 -> 4.12.2 https://github.com/Z3Prover/z3/releases/tag/z3-4.12.2 --- pkgs/applications/science/logic/z3/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index adee027d3037..9fe39c8cef89 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -89,8 +89,8 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }: in { z3_4_12 = common { - version = "4.12.1"; - sha256 = "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus="; + version = "4.12.2"; + sha256 = "sha256-DTgpKEG/LtCGZDnicYvbxG//JMLv25VHn/NaF307JYA="; }; z3_4_11 = common { version = "4.11.2";