diff --git a/.gitignore b/.gitignore
index be5d6e7..a318881 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,9 @@
 opam*/
 Makefile
+.coq-native
 extraction/*.ml
 extraction/*.mli
+extraction/*.byte
 extraction/*.native
 extraction/_build
 html/