diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-10-10 17:32:46 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-10-11 05:59:21 +0000 |
commit | 6113d95235e67ca49e2a58688c789ee76dca4e2e (patch) | |
tree | 2c1319a1e30f6c10e542f5d84fcb8b7fe3e6dc62 /pkgs/top-level | |
parent | 726b4da18941439cdeb1a348b351cf56a2a879ac (diff) | |
download | nixlib-6113d95235e67ca49e2a58688c789ee76dca4e2e.tar nixlib-6113d95235e67ca49e2a58688c789ee76dca4e2e.tar.gz nixlib-6113d95235e67ca49e2a58688c789ee76dca4e2e.tar.bz2 nixlib-6113d95235e67ca49e2a58688c789ee76dca4e2e.tar.lz nixlib-6113d95235e67ca49e2a58688c789ee76dca4e2e.tar.xz nixlib-6113d95235e67ca49e2a58688c789ee76dca4e2e.tar.zst nixlib-6113d95235e67ca49e2a58688c789ee76dca4e2e.zip |
prooftree: cleaning
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 866adafff53f..5a5ae8c1ba10 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -21278,7 +21278,7 @@ with pkgs; libpoly = callPackage ../applications/science/logic/poly {}; - prooftree = ocamlPackages.callPackage ../applications/science/logic/prooftree { }; + prooftree = callPackage ../applications/science/logic/prooftree {}; prover9 = callPackage ../applications/science/logic/prover9 { }; |