rocqPackages.stdlib: 9.1.0 -> 9.2.0 (#489083)

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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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;

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

@@ -19,7 +19,7 @@ mkCoqDerivation {
     in
     with lib.versions;
     lib.switch coq.version [
-      (case (range "8.14" "9.1") "0.4.1")
+      (case (range "8.14" "9.2") "0.4.1")
       (case (range "8.8" "8.16") "0.4.0")
     ] null;
   release."0.4.1".sha256 = "sha256-9vyk8/8IVsqNyhw3WPzl8w3L9Wu7gfaMVa3n2nWjFiA=";

pkgs/development/coq-modules/coq-record-update/default.nix

@@ -15,7 +15,7 @@ mkCoqDerivation {
     in
     with lib.versions;
     lib.switch coq.coq-version [
-      (case (range "8.14" "9.1") "0.3.6")
+      (case (range "8.14" "9.2") "0.3.6")
       (case (range "8.10" "9.1") "0.3.4")
     ] null;
   release."0.3.6".sha256 = "sha256-Sd9cmRPb/0MDlR9mzbFrrF9ifP/2vd0KG6u5fGOydds=";

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

@@ -18,7 +18,7 @@
       inherit (lib.versions) range;
     in
     lib.switch coq.version [
-      (case (range "9.0" "9.1") "0.0.7")
+      (case (range "9.0" "9.2") "0.0.7")
       (case (range "8.18" "8.20") "0.0.6")
       (case (range "8.17" "8.20") "0.0.5")
     ] null;

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

@@ -16,7 +16,7 @@ mkCoqDerivation {
     in
     with lib.versions;
     lib.switch coq.coq-version [
-      (case (range "8.14" "9.1") "4.2.3")
+      (case (range "8.14" "9.2") "4.2.3")
       (case (isEq "8.13") "4.2.2")
       (case (range "8.12" "8.17") "4.1.2")
       (case (range "8.9" "8.13") "4.1.1")

pkgs/development/rocq-modules/bignums/default.nix

@@ -16,11 +16,12 @@ mkRocqDerivation {
     in
     with lib.versions;
     lib.switch rocq-core.rocq-version [
-      (case (range "9.0" "9.1") "9.0.0+rocq${rocq-core.rocq-version}")
+      (case (range "9.0" "9.2") "9.0.0+rocq${rocq-core.rocq-version}")
     ] null;
 
   release."9.0.0+rocq9.0".sha256 = "sha256-ctnwpyNVhryEUA5YEsAImrcJsNMhtBgDSOz+z5Z4R78=";
   release."9.0.0+rocq9.1".sha256 = "sha256-MSjlfJs3JOakuShOj+isNlus0bKlZ+rkvzRoKZQK5RQ=";
+  release."9.0.0+rocq9.2".sha256 = "sha256-XQIx3MjmPgRsFMJiD1DR+FWkmO4J86tQ5fDuPHcjf+A=";
   releaseRev = v: "v${v}";
 
   mlPlugin = true;

pkgs/development/rocq-modules/parseque/default.nix

@@ -17,7 +17,7 @@ mkRocqDerivation {
       [ rocq-core.rocq-version ]
       [
         {
-          cases = [ (lib.versions.range "9.0" "9.1") ];
+          cases = [ (lib.versions.range "9.0" "9.2") ];
           out = "0.3.0";
         }
       ]

pkgs/development/rocq-modules/stdlib/default.nix

@@ -18,11 +18,13 @@ mkRocqDerivation {
     in
     with lib.versions;
     lib.switch rocq-core.version [
+      (case (range "9.2" "9.2") "9.1.0")
       (case (range "9.0" "9.1") "9.0.0")
     ] null;
   releaseRev = v: "V${v}";
 
   release."9.0.0".sha256 = "sha256-2l7ak5Q/NbiNvUzIVXOniEneDXouBMNSSVFbD1Pf8cQ=";
+  release."9.1.0".sha256 = "sha256-D/kCMsJDg5OnP37GhvXIr2Fi/xCbgCCzoikKx5rL6p4=";
 
   mlPlugin = true;