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