Unverified Commit 852453aa authored by Martin Weinelt's avatar Martin Weinelt
Browse files

coqPackages: restor recurseIntoAttrs 

Fixes: 0213840c ("pythonPackages: move __attrsFailEvaluation to allo...")
parent 369f63c0

pkgs/top-level/coq-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -219,6 +219,6 @@ in rec { 
  coqPackages_8_19 = mkCoqPackages coq_8_19;

  coqPackages_8_20 = mkCoqPackages coq_8_20;



  coqPackages = coqPackages_8_19;

  coqPackages = recurseIntoAttrs coqPackages_8_19;

  coq = coqPackages.coq;

}