From e5d15c4cb41ed74cc03d69c1c7d784485591a55a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 6 Mar 2025 19:13:41 +0100
Subject: [PATCH] [vendor] [deps] Bump Coq

---
 vendor/coq        | 2 +-
 vendor/coq-stdlib | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/vendor/coq b/vendor/coq
index b81510ec..37917979 160000
--- a/vendor/coq
+++ b/vendor/coq
@@ -1 +1 @@
-Subproject commit b81510ecb3c7885706d2eff0fcfd4e8cd8f37bd9
+Subproject commit 3791797949e847f764832adb5e28d438c676a3ea
diff --git a/vendor/coq-stdlib b/vendor/coq-stdlib
index 45468044..c33eae90 160000
--- a/vendor/coq-stdlib
+++ b/vendor/coq-stdlib
@@ -1 +1 @@
-Subproject commit 4546804447e93524a51170e60a52fed3e748ce30
+Subproject commit c33eae90b4de8f22e4c9724ee9cab77901e0a125