diff --git a/.gitignore b/.gitignore
index cd6fdacb0d8b7af215f0c57008ceb0cd21566552..36d762ba4dc5ea2b154c2c91de4663543b4db9a7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 *.vo
 *.vio
 *.v.d
+.coqdeps.d
 *.glob
 *.cache
 *.aux