diff --git a/opam b/opam
index a5a5943bf339a11284dc7a71dcf9a31423340723..aa657d52d3379fed28b56326fd2fe5961247a757 100644
--- a/opam
+++ b/opam
@@ -3,7 +3,7 @@ name: "coq-gps"
 version: "dev"
 maintainer: "Jan-Oliver Kaiser, Hoang-Hai Dang"
 authors: "Jan-Oliver Kaiser, Hoang-Hai Dang"
-# homepage: "?"
+homepage: "http://plv.mpi-sws.org/igps/"
 bug-reports: "https://gitlab.mpi-sws.org/FP/sra-gps/issues"
 dev-repo: "https://gitlab.mpi-sws.org/FP/sra-gps.git"
 build: [
diff --git a/opam.pins b/opam.pins
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..37b24384ff19babaaae977d7957569f4702afa45 100644
--- a/opam.pins
+++ b/opam.pins
@@ -0,0 +1 @@
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq bfe7dd4c44d609088acadf40e1be500f76388a73
\ No newline at end of file