[vendor] [deps] Bump Rocq (and Rocq-stdlib deps)

ejgallego · ejgallego · commit 21f897c2a145 · 2025-07-29T13:25:31.000+02:00
For overlays rocq-prover/rocq#20962 and rocq-prover/rocq#20917 We still keep our stdlib overlay due to rocq-prover/stdlib#201
diff --git a/coq/parsing.ml b/coq/parsing.ml
@@ -27,8 +27,9 @@ let parse_to_terminator : unit Pcoq.Entry.t =
   (* type 'a parser_fun = { parser_fun : te LStream.t -> 'a } *)
   let rec dot kwstate st =
     match Gramlib.LStream.next kwstate st with
-    | Some (Tok.KEYWORD ("." | "..." | "Qed" | "Defined" | "Admitted") | Tok.BULLET _)
-      -> ()
+    | Some
+        ( Tok.KEYWORD ("." | "..." | "Qed" | "Defined" | "Admitted")
+        | Tok.BULLET _ ) -> ()
     | Some Tok.EOI -> ()
     | Some _ -> dot kwstate st
     | None -> assert false (* should get EOI before None *)
diff --git a/vendor/coq b/vendor/coq
@@ -1 +1 @@
-Subproject commit d2ee6540a021bb69fdc00b20830d9a5e4e352982
+Subproject commit 4015c7e4126a1aca4abef8a72bede16a54a1f0a5
diff --git a/vendor/coq-stdlib b/vendor/coq-stdlib
@@ -1 +1 @@
-Subproject commit fb92a5f8f231fde236273cabb6eb6b38e2269ddd
+Subproject commit e30746402e2bc0ef6a5dd5ad2c365ef0bc78f995
diff --git a/vendor/coq-waterproof b/vendor/coq-waterproof
@@ -1 +1 @@
-Subproject commit 12afefb4caf1a87557846410478f2391b02487a5
+Subproject commit c3868bcf9da462ddd28fc847f44eb7b36d974c35
