top-level/coq-packages: remove dontDistribute
In the GitHub discussion of 527bad18d0
,
it was decided to allow Hydra to build coqPackages.
This commit is contained in:
parent
ef0ad301dd
commit
4ec2272826
|
@ -122,9 +122,7 @@ in rec {
|
||||||
coqPackages_8_11 = mkCoqPackages coq_8_11;
|
coqPackages_8_11 = mkCoqPackages coq_8_11;
|
||||||
coqPackages_8_12 = mkCoqPackages coq_8_12;
|
coqPackages_8_12 = mkCoqPackages coq_8_12;
|
||||||
coqPackages_8_13 = mkCoqPackages coq_8_13;
|
coqPackages_8_13 = mkCoqPackages coq_8_13;
|
||||||
coqPackages = recurseIntoAttrs (lib.mapDerivationAttrset lib.dontDistribute
|
coqPackages = recurseIntoAttrs coqPackages_8_11;
|
||||||
coqPackages_8_11
|
|
||||||
);
|
|
||||||
coq = coqPackages.coq;
|
coq = coqPackages.coq;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue