comby: use OCaml 4.14

2024-01-22 08:36:01 +01:00
parent 8a5dae5b07
commit 8e5062ee6a
1 changed files with 3 additions and 1 deletions
@@ -15688,7 +15688,9 @@ with pkgs;

  coffeescript = callPackage ../development/compilers/coffeescript { };

-  comby = callPackage ../development/tools/comby { };
+  comby = callPackage ../development/tools/comby {
+    ocamlPackages = ocaml-ng.ocamlPackages_4_14;
+  };

  inherit (coqPackages_8_17) compcert;