From 82d9e4737bf36d8c7f1ff8b4702e3dca07cc9838 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 19 Dec 2024 16:23:35 +0100
Subject: [PATCH] [vendor] Bump Coq.

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

diff --git a/vendor/coq b/vendor/coq
index d1763f03..f64f690c 160000
--- a/vendor/coq
+++ b/vendor/coq
@@ -1 +1 @@
-Subproject commit d1763f039edae16305a282ba7ea161fa5db13b20
+Subproject commit f64f690ca2cf6ad63bd5d3129fc83a4fdd28ef2a