diff --git a/opam b/opam
index 8f43a701d5dbeb4daf93c03775adef43e283804f..276bc8ec57fabca5e88378edd2957323709cf15a 100644
--- a/opam
+++ b/opam
@@ -1,5 +1,5 @@
 opam-version: "1.2"
-name: "iris"
+name: "coq-iris"
 version: "dev"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The Iris Team"