diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-23 20:48:50 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-23 20:48:50 +0100 |
| commit | b9741719fa085f58671dedb25ed6b7d25d6dedd1 (patch) | |
| tree | 3da8df86aa1e376344a0042ad795070c73e86390 /pkgs/top-level | |
| parent | d274ee3f80d0d32a227fbabbc2e2b92b115fd760 (diff) | |
| download | nixlib-b9741719fa085f58671dedb25ed6b7d25d6dedd1.tar nixlib-b9741719fa085f58671dedb25ed6b7d25d6dedd1.tar.gz nixlib-b9741719fa085f58671dedb25ed6b7d25d6dedd1.tar.bz2 nixlib-b9741719fa085f58671dedb25ed6b7d25d6dedd1.tar.lz nixlib-b9741719fa085f58671dedb25ed6b7d25d6dedd1.tar.xz nixlib-b9741719fa085f58671dedb25ed6b7d25d6dedd1.tar.zst nixlib-b9741719fa085f58671dedb25ed6b7d25d6dedd1.zip | |
Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for
OCaml4.02)
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 9b85936661ec..459a33380ac9 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -11453,8 +11453,8 @@ let picosat = callPackage ../applications/science/logic/picosat {}; prooftree = callPackage ../applications/science/logic/prooftree { - inherit (ocamlPackages) findlib lablgtk; - camlp5 = ocamlPackages.camlp5_transitional; + inherit (ocamlPackages_4_01_0) ocaml findlib lablgtk; + camlp5 = ocamlPackages_4_01_0.camlp5_transitional; }; prover9 = callPackage ../applications/science/logic/prover9 { }; |