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