Commit 396f67f9 authored by Pierre Roux's avatar Pierre Roux
Browse files

rocqPackages.stdlib: 9.1.0 -> 9.2.0

parent 5af02a79

pkgs/development/coq-modules/Cheerios/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ mkCoqDerivation { 
    in

    with lib.versions;

    lib.switch coq.version [

      (case (range "8.14" "9.1") "20230107")

      (case (range "8.14" "9.2") "20230107")

      (case (range "8.6" "8.16") "20200201")

    ] null;

  release."20230107".rev = "bad8ad2476e14df6b5a819b7aaddc27a7c53fb69";

pkgs/development/coq-modules/CoLoR/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -16,6 +16,7 @@ mkCoqDerivation { 
    in

    with lib.versions;

    lib.switch coq.version [

      (case (range "9.0" "9.2") "1.8.6")

      (case (range "8.14" "9.1") "1.8.5")

      (case (range "8.12" "8.16") "1.8.2")

      (case (range "8.10" "8.11") "1.7.0")
@@ -23,6 +24,7 @@ mkCoqDerivation { 
      (case (range "8.6" "8.7") "1.4.0")

    ] null;



  release."1.8.6".sha256 = "sha256-EgqJUf82FbPkfL4ZmQIP/73IoFhfQGkeUeaKV3KQ/fA=";

  release."1.8.5".sha256 = "sha256-zKAyj6rKAasDF+iKExmpVHMe2WwgAwv2j1mmiVAl7ys=";

  release."1.8.4".sha256 = "sha256-WlRiaLgnFFW5AY0z6EzdP1mevNe1GHsik6wULJLN4k0=";

  release."1.8.3".sha256 = "sha256-mMUzIorkQ6WWQBJLk1ioUNwAdDdGHJyhenIvkAjALVU=";

pkgs/development/coq-modules/InfSeqExt/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ mkCoqDerivation { 
    in

    with lib.versions;

    lib.switch coq.version [

      (case (range "8.9" "9.1") "20230107")

      (case (range "8.9" "9.2") "20230107")

      (case (range "8.5" "8.16") "20200131")

    ] null;

  release."20230107".rev = "601e89ec019501c48c27fcfc14b9a3c70456e408";

pkgs/development/coq-modules/MenhirLib/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -18,7 +18,7 @@ let 
      in

      with lib.versions;

      lib.switch coq.coq-version [

        (case (range "8.12" "9.1") "20250903")

        (case (range "8.12" "9.2") "20250903")

        (case (range "8.7" "8.11") "20200624")

      ] null;

    release = {

pkgs/development/coq-modules/StructTact/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ mkCoqDerivation { 
    in

    with lib.versions;

    lib.switch coq.coq-version [

      (case (range "8.9" "9.1") "20230107")

      (case (range "8.9" "9.2") "20230107")

      (case (range "8.6" "8.16") "20210328")

      (case (range "8.5" "8.13") "20181102")

    ] null;