From e1b6f79803911dad68c473042afcfec37a561dea Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Fri, 24 Nov 2023 15:20:55 +0100
Subject: [PATCH] [vendor] Bump Coq

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

diff --git a/vendor/coq b/vendor/coq
index a50f49d0..8d0d5471 160000
--- a/vendor/coq
+++ b/vendor/coq
@@ -1 +1 @@
-Subproject commit a50f49d072177f7442eed1ce1e7bbecc798d5198
+Subproject commit 8d0d5471677699a14fdd6872ed8e3df4d16c709b
diff --git a/vendor/coq-serapi b/vendor/coq-serapi
index 4bbd657e..307889de 160000
--- a/vendor/coq-serapi
+++ b/vendor/coq-serapi
@@ -1 +1 @@
-Subproject commit 4bbd657ef245a711cb1ac63adea34144dff39be3
+Subproject commit 307889de1ba5131df530e5aeac627e1257b82063