nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-26 14:53:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

z3: 4.12.1

Browse Source 
https://github.com/Z3Prover/z3/releases/tag/z3-4.12.1

declare most recent minor version.

Signed-off-by: Jack Leightcap <jack.leightcap@trailofbits.com>
This commit is contained in:
Jack Leightcap 2023-05-06 04:48:46 -04:00
parent 103897b4fc
commit 48ac8a3bac
No known key found for this signature in database
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/z3/default.nix
View File

@ -87,6 +87,10 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }:
};
in
{
z3_4_12 = common {
version = "4.12.1";
sha256 = "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus=";
};
z3_4_11 = common {
version = "4.11.0";
sha256 = "sha256-ItmtZHDhCeLAVtN7K80dqyAh20o7TM4xk2sTb9QgHvk=";

1
pkgs/top-level/all-packages.nix
View File

@ -37930,6 +37930,7 @@ with pkgs;
inherit (callPackages ../applications/science/logic/z3 { python = python3; })
z3_4_12
z3_4_11
z3_4_8
z3_4_8_5;