diff options
| author | Austin Seipp <aseipp@pobox.com> | 2018-04-07 23:02:59 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2018-04-07 23:02:59 -0500 |
| commit | 86c5420a2e8ff0ece4fd90db4e42fd52d069f533 (patch) | |
| tree | d9b3d2a538ba860dae5e7c1ba22b4df9cd0b83f1 /pkgs/top-level | |
| parent | 4b7f2dd6223eee408181a1136068b2eda129d905 (diff) | |
| download | nixlib-86c5420a2e8ff0ece4fd90db4e42fd52d069f533.tar nixlib-86c5420a2e8ff0ece4fd90db4e42fd52d069f533.tar.gz nixlib-86c5420a2e8ff0ece4fd90db4e42fd52d069f533.tar.bz2 nixlib-86c5420a2e8ff0ece4fd90db4e42fd52d069f533.tar.lz nixlib-86c5420a2e8ff0ece4fd90db4e42fd52d069f533.tar.xz nixlib-86c5420a2e8ff0ece4fd90db4e42fd52d069f533.tar.zst nixlib-86c5420a2e8ff0ece4fd90db4e42fd52d069f533.zip | |
nixpkgs: remove z3 4.5.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
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 3debf1a9489e..b9d6c0a76c41 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20060,7 +20060,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 {}; |