diff --git a/opam b/opam
index 276bc8ec57fabca5e88378edd2957323709cf15a..e8d2bee542a50ebb5122efc995d343262f306593 100644
--- a/opam
+++ b/opam
@@ -6,7 +6,7 @@ authors: "The Iris Team"
 homepage: "http://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/FP/iris-coq/issues"
 license: "BSD"
-dev-repo: "https://gitlab.mpi-sws.org/FP/iris-coq"
+dev-repo: "https://gitlab.mpi-sws.org/FP/iris-coq.git"
 build: [
   [make "-j%{jobs}%"]
 ]