From 8e5062ee6a6bc44778b5d8dd6647beec1f9ed22b Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 10 Jan 2024 06:35:28 +0100 Subject: [PATCH] comby: use OCaml 4.14 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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;