diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-04-08 09:18:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-08 09:18:07 +0100 |
| commit | f9b95e9ca0397d3606126bde9246c3e1da9ee4f1 (patch) | |
| tree | a854505ad10c780fad02d71f86784b4f91793039 /pkgs/top-level | |
| parent | ed649f0cb3b8d863b2c564e384a56adca83c828d (diff) | |
| parent | 86c5420a2e8ff0ece4fd90db4e42fd52d069f533 (diff) | |
| download | nixlib-f9b95e9ca0397d3606126bde9246c3e1da9ee4f1.tar nixlib-f9b95e9ca0397d3606126bde9246c3e1da9ee4f1.tar.gz nixlib-f9b95e9ca0397d3606126bde9246c3e1da9ee4f1.tar.bz2 nixlib-f9b95e9ca0397d3606126bde9246c3e1da9ee4f1.tar.lz nixlib-f9b95e9ca0397d3606126bde9246c3e1da9ee4f1.tar.xz nixlib-f9b95e9ca0397d3606126bde9246c3e1da9ee4f1.tar.zst nixlib-f9b95e9ca0397d3606126bde9246c3e1da9ee4f1.zip | |
Merge pull request #38597 from thoughtpolice/rm-rf-z3-4.5.0
nixpkgs: remove z3 4.5.0
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 8448daadae6e..c51102cda626 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20062,7 +20062,6 @@ with pkgs; gmp-static = gmp.override { withStatic = true; }; }; - z3_4_5_0 = callPackage ../applications/science/logic/z3/4.5.0.nix {}; z3 = callPackage ../applications/science/logic/z3 { python = python2; }; tlaplus = callPackage ../applications/science/logic/tlaplus {}; |