From 66166db879934a416fb8e22144eb2284700add21 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Tue, 12 Nov 2024 16:38:32 +0100
Subject: [PATCH] [vendor] Update Coq upstream

---
 vendor/coq | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vendor/coq b/vendor/coq
index c7373559..06d8fe7a 160000
--- a/vendor/coq
+++ b/vendor/coq
@@ -1 +1 @@
-Subproject commit c7373559ab661b17bd21ea3d0153bb3c82f8d462
+Subproject commit 06d8fe7a2aecf31094d865e684aaa47e8a0f062f