b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

coqPackages: recurse into the attribute set

Browse source 
But do not build the packages on hydra.
This commit is contained in:
Vincent Laporte 2018-11-26 02:21:01 +00:00 committed by Vincent Laporte
parent 973781444a
commit 527bad18d0
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/top-level/coq-packages.nix
View file

@ -88,7 +88,9 @@ in rec {
coqPackages_8_7 = mkCoqPackages coq_8_7;
coqPackages_8_8 = mkCoqPackages coq_8_8;
coqPackages_8_9 = mkCoqPackages coq_8_9;
coqPackages = coqPackages_8_8;
coqPackages = recurseIntoAttrs (lib.mapDerivationAttrset lib.dontDistribute
coqPackages_8_8
);
coq = coqPackages.coq;
}