diff --git a/opam b/opam
index 00c5e6e9925b9d0b0824b3c58b46be973f697d21..d74960e728b423d42b832e0949a229b5e6c03027 100644
--- a/opam
+++ b/opam
@@ -3,7 +3,7 @@ name: "coq-iris"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The Iris Team"
 license: "BSD"
-homepage: "http://iris-project.org/"
+homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"