From 44bc08a5d1b105f3df297eb50b8b8851660f8c56 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Fri, 8 Nov 2019 16:08:16 -0500
Subject: [PATCH] Update Coq.gitignore for coq/coq#8642 and coq/coq#10947
 (#3223)

---
 Coq.gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Coq.gitignore b/Coq.gitignore
index f25a61d9..14d9ca6b 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -1,4 +1,5 @@
 .*.aux
+.*.d
 *.a
 *.cma
 *.cmi
@@ -17,6 +18,7 @@
 *.v.d
 *.vio
 *.vo
+*.vos
 .coq-native/
 .csdp.cache
 .lia.cache