diff --git a/.gitignore b/.gitignore
index 63df3a3d211bf1bef8a0e51888c368c73824efca..12d38bb9508b30f1feca5605b9d5f03df669e55e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,7 +13,7 @@
 *.bak
 .coqdeps.d
 .coq-native/
-build-dep/
+builddep/
 Makefile.coq
 .Makefile.coq.d
 Makefile.coq.conf
@@ -27,4 +27,4 @@ _opam
 **/auto/*
 
 *.pygtex
-*.pygstyle
\ No newline at end of file
+*.pygstyle
diff --git a/opam b/iris.opam
similarity index 100%
rename from opam
rename to iris.opam