diff --git a/.gitignore b/.gitignore
index b6e84eaebede7d9c88b15d5908208ec2872c7d40..847c638f8dd074bf3e81c121ca2cec2435d5ed9e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,9 @@
 .coq-native/
 Makefile.coq
 Makefile.coq.conf
+_CoqProject.*
+Makefile.package.*
+.Makefile.package.*
 *.crashcoqide
 html/
 builddep/