diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index cf0241f64c2b..20d3e0a3da39 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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;