rocq-core_9_2: init at 9.2+rc1

3 files changed, 16 insertions, 0 deletions

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 8a985cf429e7..53676af7e560 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -12314,6 +12314,7 @@ with pkgs;
     (callPackage ./rocq-packages.nix {
       inherit (ocaml-ng)
         ocamlPackages_4_14
+        ocamlPackages_5_4
         ;
     })
     mkRocqPackages
@@ -12321,6 +12322,8 @@ with pkgs;
     rocq-core_9_0
     rocqPackages_9_1
     rocq-core_9_1
+    rocqPackages_9_2
+    rocq-core_9_2
     rocqPackages
     rocq-core
     ;
@@ -12332,10 +12335,12 @@ with pkgs;
         ocamlPackages_4_10
         ocamlPackages_4_12
         ocamlPackages_4_14
+        ocamlPackages_5_4
         ;
       inherit
         rocqPackages_9_0
         rocqPackages_9_1
+        rocqPackages_9_2
         rocqPackages
         ;
     })
@@ -12372,6 +12377,8 @@ with pkgs;
     coq_9_0
     coqPackages_9_1
     coq_9_1
+    coqPackages_9_2
+    coq_9_2
     coqPackages
     coq
     ;
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index 04e481cb08f3..b24ab749b997 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -9,8 +9,10 @@
   ocamlPackages_4_10,
   ocamlPackages_4_12,
   ocamlPackages_4_14,
+  ocamlPackages_5_4,
   rocqPackages_9_0,
   rocqPackages_9_1,
+  rocqPackages_9_2,
   rocqPackages,
   fetchpatch,
   makeWrapper,
@@ -292,6 +294,7 @@ let
         ocamlPackages_4_10
         ocamlPackages_4_12
         ocamlPackages_4_14
+        ocamlPackages_5_4
         ;
       rocqPackages = rp;
     };
@@ -330,6 +333,7 @@ rec {
   coqPackages_8_20 = mkCoqPackages (mkCoq "8.20" { });
   coqPackages_9_0 = mkCoqPackages (mkCoq "9.0" rocqPackages_9_0);
   coqPackages_9_1 = mkCoqPackages (mkCoq "9.1" rocqPackages_9_1);
+  coqPackages_9_2 = mkCoqPackages (mkCoq "9.2" rocqPackages_9_2);
 
   coq_8_7 = coqPackages_8_7.coq;
   coq_8_8 = coqPackages_8_8.coq;
@@ -347,6 +351,7 @@ rec {
   coq_8_20 = coqPackages_8_20.coq;
   coq_9_0 = coqPackages_9_0.coq;
   coq_9_1 = coqPackages_9_1.coq;
+  coq_9_2 = coqPackages_9_2.coq;
 
   coqPackages = lib.recurseIntoAttrs coqPackages_9_0;
   coq = coqPackages.coq;
diff --git a/pkgs/top-level/rocq-packages.nix b/pkgs/top-level/rocq-packages.nix
index ed0327ee96ec..0ce9d5f897de 100644
--- a/pkgs/top-level/rocq-packages.nix
+++ b/pkgs/top-level/rocq-packages.nix
@@ -6,6 +6,7 @@
   callPackage,
   newScope,
   ocamlPackages_4_14,
+  ocamlPackages_5_4,
   fetchpatch,
   makeWrapper,
 }@args:
@@ -75,6 +76,7 @@ let
       inherit
         version
         ocamlPackages_4_14
+        ocamlPackages_5_4
         ;
     };
 in
@@ -98,9 +100,11 @@ rec {
 
   rocq-core_9_0 = mkRocq "9.0";
   rocq-core_9_1 = mkRocq "9.1";
+  rocq-core_9_2 = mkRocq "9.2";
 
   rocqPackages_9_0 = mkRocqPackages rocq-core_9_0;
   rocqPackages_9_1 = mkRocqPackages rocq-core_9_1;
+  rocqPackages_9_2 = mkRocqPackages rocq-core_9_2;
 
   rocqPackages = lib.recurseIntoAttrs rocqPackages_9_0;
   rocq-core = rocqPackages.rocq-core;