diff --git a/.gitignore b/.gitignore
index 1cc22fd6bd76a52389240d22d9d0635e2c06a91f..2445b5480744e4ffded8dee04b2a1fb7137f1917 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@
 .\#*
 *~
 *.bak
+.coqdeps.d
 .coq-native/
 build-dep/
 Makefile.coq