diff --git a/coq-actris.opam b/coq-actris.opam
index abd0c71cf5881bd4a05c686c68635618116f35cf..0b4c6099d3c0d43c57c41bc20d4993ffab675b96 100644
--- a/coq-actris.opam
+++ b/coq-actris.opam
@@ -1,5 +1,7 @@
 opam-version: "2.0"
 maintainer: "Robbert Krebbers"
+synopsis: "Actris: Session protocol reasoning in Iris"
+homepage: "https://gitlab.mpi-sws.org/iris/actris"
 authors: "Jonas Kastberg Hinrichsen, Daniël Louwrink, Jesper Bengtson, Robbert Krebbers"
 license: "BSD"
 bug-reports: "https://gitlab.mpi-sws.org/iris/actris/issues"