diff options
| author | Austin Seipp <aseipp@pobox.com> | 2015-06-11 22:10:56 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2015-06-11 22:10:56 -0500 |
| commit | da6eec001ab9437a50d4f91d8c1a3704c193647c (patch) | |
| tree | 1edab191c3cdae36d0b095706478ae0ce561122f /pkgs/applications/science | |
| parent | bb3db4e6534d26b0be2d3ef8113e8b34463a80d0 (diff) | |
| download | nixlib-da6eec001ab9437a50d4f91d8c1a3704c193647c.tar nixlib-da6eec001ab9437a50d4f91d8c1a3704c193647c.tar.gz nixlib-da6eec001ab9437a50d4f91d8c1a3704c193647c.tar.bz2 nixlib-da6eec001ab9437a50d4f91d8c1a3704c193647c.tar.lz nixlib-da6eec001ab9437a50d4f91d8c1a3704c193647c.tar.xz nixlib-da6eec001ab9437a50d4f91d8c1a3704c193647c.tar.zst nixlib-da6eec001ab9437a50d4f91d8c1a3704c193647c.zip | |
nixpkgs: z3 4.3.2 -> 4.4.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 2296a28444b4..fb3fb959ae63 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { name = "z3-${version}"; - version = "4.3.2"; + version = "4.4.0"; src = fetchFromGitHub { owner = "Z3Prover"; repo = "z3"; - rev = "ac21ffebdf1512da2a77dc46c47bde87cc3850f3"; - sha256 = "1y86akhpy41wx3gx7r8gvf7xbax7dj36ikj6gqh5a7p6r6maz9ci"; + rev = "7f6ef0b6c0813f2e9e8f993d45722c0e5b99e152"; + sha256 = "1xllvq9fcj4cz34biq2a9dn2sj33bdgrzyzkj26hqw70wkzv1kzx"; }; buildInputs = [ python ]; |