diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-11-24 10:33:29 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-12-01 13:46:15 +0100 |
| commit | 48406e3fca5be837df5cfa3a5b891dd3d6557e1b (patch) | |
| tree | d838b735bdc8372221b88772a27bd87c6d02aa35 /pkgs/top-level/coq-packages.nix | |
| parent | 4f51fae5bbbb5b232ca340f5836875cc2c0f10cc (diff) | |
| download | nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.gz nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.bz2 nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.lz nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.xz nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.zst nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.zip | |
coq_8_14: 8.14.0 → 8.14.1
And build Coq ≥ 8.14 with OCaml 4.12
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 60d6265309b..3d6f6df6114 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -1,5 +1,5 @@ { lib, stdenv, callPackage, newScope, recurseIntoAttrs, ocamlPackages_4_05, ocamlPackages_4_09 -, ocamlPackages_4_10, fetchpatch, makeWrapper, coq2html +, ocamlPackages_4_10, ocamlPackages_4_12, fetchpatch, makeWrapper, coq2html }@args: let lib = import ../build-support/coq/extra-lib.nix {inherit (args) lib;}; in let @@ -113,7 +113,12 @@ let ) (lib.attrNames set) ); mkCoq = version: callPackage ../applications/science/logic/coq { - inherit version ocamlPackages_4_05 ocamlPackages_4_09 ocamlPackages_4_10; + inherit version + ocamlPackages_4_05 + ocamlPackages_4_09 + ocamlPackages_4_10 + ocamlPackages_4_12 + ; }; in rec { |