public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coq: use OCaml 4.09

Browse Source
This commit is contained in:
Vincent Laporte 2020-05-22 11:10:17 +02:00 committed by Vincent Laporte
parent 2f2ff72db3
commit 8fb991c7c4
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/top-level/all-packages.nix
View File

@ -24889,7 +24889,7 @@ in
cadical = callPackage ../applications/science/logic/cadical {}; cadical = callPackage ../applications/science/logic/cadical {};
inherit (callPackage ./coq-packages.nix { inherit (callPackage ./coq-packages.nix {
inherit (ocaml-ng) ocamlPackages_4_05; inherit (ocaml-ng) ocamlPackages_4_05 ocamlPackages_4_09;
}) mkCoqPackages }) mkCoqPackages
coqPackages_8_5 coq_8_5 coqPackages_8_5 coq_8_5
coqPackages_8_6 coq_8_6 coqPackages_8_6 coq_8_6

6
pkgs/top-level/coq-packages.nix
View File

@ -1,4 +1,4 @@
{ lib, callPackage, newScope, recurseIntoAttrs, ocamlPackages_4_05 }: { lib, callPackage, newScope, recurseIntoAttrs, ocamlPackages_4_05, ocamlPackages_4_09 }:
let let
mkCoqPackages' = self: coq: mkCoqPackages' = self: coq:
@ -100,15 +100,19 @@ in rec {
version = "8.6.1"; version = "8.6.1";
}; };
coq_8_7 = callPackage ../applications/science/logic/coq { coq_8_7 = callPackage ../applications/science/logic/coq {
ocamlPackages = ocamlPackages_4_09;
version = "8.7.2"; version = "8.7.2";
}; };
coq_8_8 = callPackage ../applications/science/logic/coq { coq_8_8 = callPackage ../applications/science/logic/coq {
ocamlPackages = ocamlPackages_4_09;
version = "8.8.2"; version = "8.8.2";
}; };
coq_8_9 = callPackage ../applications/science/logic/coq { coq_8_9 = callPackage ../applications/science/logic/coq {
ocamlPackages = ocamlPackages_4_09;
version = "8.9.1"; version = "8.9.1";
}; };
coq_8_10 = callPackage ../applications/science/logic/coq { coq_8_10 = callPackage ../applications/science/logic/coq {
ocamlPackages = ocamlPackages_4_09;
version = "8.10.2"; version = "8.10.2";
}; };
coq_8_11 = callPackage ../applications/science/logic/coq { coq_8_11 = callPackage ../applications/science/logic/coq {