Unverified Commit 144871c6 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #307816 from vbgl/coq-default-8.19 

coq: default to version 8.19
parents 7fd0e9b4 0a379ae6

pkgs/top-level/all-packages.nix

+3 −1
Original line number Diff line number Diff line
@@ -38797,7 +38797,9 @@ with pkgs; 
    stdenv = gccStdenv;

  };













  why3 = callPackage ../applications/science/logic/why3 { };













  why3 = callPackage ../applications/science/logic/why3 {













    coqPackages = coqPackages_8_18;













  };





























  wayback-machine-archiver = callPackage ../tools/misc/wayback-machine-archiver { };







































pkgs/top-level/coq-packages.nix



+1
−1






























Original line number
Diff line number
Diff line








@@ -214,7 +214,7 @@ in rec {













  coqPackages_8_18 = mkCoqPackages coq_8_18 // { __attrsFailEvaluation = true; };















  coqPackages_8_19 = mkCoqPackages coq_8_19 // { __attrsFailEvaluation = true; };















  coqPackages =













    let cp = recurseIntoAttrs coqPackages_8_18;













    let cp = recurseIntoAttrs coqPackages_8_19;















    in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };















  coq = coqPackages.coq;