diff --git a/.gitignore b/.gitignore
index 2ce0641ec9dc8795b27d3662e7c5aab2b5a3db2b..7e0b32f501140ca3c07ffb9c24264d84aba2ed11 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@
 *.bak
 .coqdeps.d
 .coq-native/
+_opam
 build-dep/
 Makefile.coq
 Makefile.coq.conf