Unverified Commit 0ea55421 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

coqPackages, rocqPackages: default to version 9.1

parent 2b30bfbe

pkgs/top-level/coq-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -363,6 +363,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;

}