cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0

Browse source
This commit is contained in:
Ian Macalinao 2022-08-28 11:05:12 -05:00
parent 904a11667d
commit c05b66233e
No known key found for this signature in database
GPG key ID: 23023A87F0BE00F3
2 changed files with 6 additions and 1 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

@ -84,6 +84,10 @@ let common = { version, sha256, patches ? [ ] }:
}; };
in in
{ {
z3_4_11 = common {
version = "4.11.0";
sha256 = "sha256-ItmtZHDhCeLAVtN7K80dqyAh20o7TM4xk2sTb9QgHvk=";
};
z3_4_8 = common { z3_4_8 = common {
version = "4.8.15"; version = "4.8.15";
sha256 = "0xkwqz0y5d1lfb6kfqy8wn8n2dqalzf4c8ghmjsajc1bpdl70yc5"; sha256 = "0xkwqz0y5d1lfb6kfqy8wn8n2dqalzf4c8ghmjsajc1bpdl70yc5";

3
pkgs/top-level/all-packages.nix
View file

@ -34634,9 +34634,10 @@ with pkgs;
inherit (callPackages ../applications/science/logic/z3 { python = python2; }) inherit (callPackages ../applications/science/logic/z3 { python = python2; })
z3_4_11
z3_4_8 z3_4_8
z3_4_7; z3_4_7;
z3 = z3_4_8; z3 = z3_4_11;
z3_4_4_0 = callPackage ../applications/science/logic/z3/4.4.0.nix { z3_4_4_0 = callPackage ../applications/science/logic/z3/4.4.0.nix {
python = python2; python = python2;
stdenv = if stdenv.isDarwin then stdenv else gcc49Stdenv; stdenv = if stdenv.isDarwin then stdenv else gcc49Stdenv;