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

coq: default version 8.4pl6 -> 8.6

Browse Source
This commit is contained in:
Théo Zimmermann 2017-03-04 12:01:45 +01:00 committed by vbgl
parent 9eec461890
commit 12a00b51b3
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6429,7 +6429,9 @@ with pkgs;
ocaml = ocaml_4_02;
};
framac = callPackage ../development/tools/analysis/frama-c { };
framac = callPackage ../development/tools/analysis/frama-c {
coq = coq_8_4;
};
frame = callPackage ../development/libraries/frame { };
@ -17143,7 +17145,7 @@ with pkgs;
inherit (ocamlPackages) ocaml findlib lablgtk;
camlp5 = ocamlPackages.camlp5_transitional;
};
coq = coq_8_4;
coq = coq_8_6;
mkCoqPackages_8_4 = self: let callPackage = newScope self; in {
inherit callPackage;