From 5b6dd1fdfdd201541a3620ddfb41edeffe3bc835 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 13 Jan 2020 19:38:41 +0100
Subject: [PATCH] use https URL

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 00c5e6e99..d74960e72 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"
 
-- 
GitLab