prooftree: force ocaml 4.01

2017-02-19 13:05:46 +01:00
parent ea68576b7a
commit b0d7d60fd4
1 changed files with 4 additions and 1 deletions
@@ -723,7 +723,10 @@ let
      camlp5 = camlp5_transitional;
    };

-    prooftree = callPackage ../applications/science/logic/prooftree {
+    prooftree =
+      if lib.versionOlder "4.01" ocaml.version
+      then null
+      else callPackage ../applications/science/logic/prooftree {
      camlp5 = camlp5_transitional;
    };
  };