diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-10-11 08:51:38 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-10-12 20:38:44 +0200 |
commit | 661ee3a26903ff58fd57f4f4396a748950ba3570 (patch) | |
tree | da7e270db9880cb9a4725b7c3760081ad37c1e72 /pkgs/top-level/coq-packages.nix | |
parent | d451ea73dc8b4ed51d2a534f9c7b6e64268c3271 (diff) |
coq_8_16: use OCaml 4.14
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
-rw-r--r-- | pkgs/top-level/coq-packages.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 87688c53d2da7..6ab9c35b045ef 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -1,6 +1,7 @@ { lib, stdenv, fetchzip , callPackage, newScope, recurseIntoAttrs, ocamlPackages_4_05, ocamlPackages_4_09 -, ocamlPackages_4_10, ocamlPackages_4_12, fetchpatch, makeWrapper, coq2html +, ocamlPackages_4_10, ocamlPackages_4_12, ocamlPackages_4_14 +, fetchpatch, makeWrapper, coq2html }@args: let lib = import ../build-support/coq/extra-lib.nix {inherit (args) lib;}; in let @@ -130,6 +131,7 @@ let ocamlPackages_4_09 ocamlPackages_4_10 ocamlPackages_4_12 + ocamlPackages_4_14 ; }; in rec { |