Update Coq.gitignore for rocq-prover/rocq#8642 and rocq-prover/rocq#10947 (#3223)

JasonGross · shiftkey · commit 44bc08a5d1b1 · 2019-11-08T17:08:16.000-04:00
diff --git 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
