Unverified Commit 186da745 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

coqPackages: default to version 9.1 (#506115)

parents b6df1f16 0ea55421

pkgs/top-level/coq-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -359,6 +359,6 @@ rec { 
  coq_9_1 = coqPackages_9_1.coq;

  coq_9_2 = coqPackages_9_2.coq;



  coqPackages = lib.recurseIntoAttrs coqPackages_9_0;

  coqPackages = lib.recurseIntoAttrs coqPackages_9_1;

  coq = coqPackages.coq;

}

pkgs/top-level/rocq-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -116,6 +116,6 @@ rec { 
  rocqPackages_9_1 = mkRocqPackages rocq-core_9_1;

  rocqPackages_9_2 = mkRocqPackages rocq-core_9_2;



  rocqPackages = lib.recurseIntoAttrs rocqPackages_9_0;

  rocqPackages = lib.recurseIntoAttrs rocqPackages_9_1;

  rocq-core = rocqPackages.rocq-core;

}