From 46d36eb78f4f14b9bc941b3aa72ac9d1092efd04 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Tue, 11 Oct 2016 17:18:40 -0400
Subject: [PATCH 1/3] Update Coq.gitignore

Add various files that show up when you run tactics (the *.cache in 8.4 and 8.5, .*.cache in 8.6), build plugins (the various OCaml files), and for the native compiler of Coq 8.5.
---
 Coq.gitignore | 26 +++++++++++++++++++++++++-
 1 file changed, 25 insertions(+), 1 deletion(-)

diff --git a/Coq.gitignore b/Coq.gitignore
index d3083b3a..ad9b23e2 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -1,3 +1,27 @@
-*.vo
+.*.aux
+*.a
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+*.cmxs
 *.glob
+*.ml.d
+*.ml4.d
+*.mli.d
+*.o
 *.v.d
+*.vio
+*.vo
+.coq-native/
+.csdp.cache
+.lia.cache
+.nia.cache
+.nlia.cache
+.nra.cache
+csdp.cache
+lia.cache
+nia.cache
+nlia.cache
+nra.cache

From 6615075fe4add11e8374573fe53b778cf2883ded Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Tue, 11 Oct 2016 17:21:20 -0400
Subject: [PATCH 2/3] Add .native

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

diff --git a/Coq.gitignore b/Coq.gitignore
index ad9b23e2..a3cb78ee 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,7 @@
 *.ml.d
 *.ml4.d
 *.mli.d
+*.native
 *.o
 *.v.d
 *.vio

From 8202fbb408af642c886b525ef7149812376cba6e Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Tue, 11 Oct 2016 17:25:39 -0400
Subject: [PATCH 3/3] Add mllib, mlpack files

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

diff --git a/Coq.gitignore b/Coq.gitignore
index a3cb78ee..f25a61d9 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,8 @@
 *.ml.d
 *.ml4.d
 *.mli.d
+*.mllib.d
+*.mlpack.d
 *.native
 *.o
 *.v.d