diff --git a/opam b/opam
index 5daedddfc0d220bf3459bed4852f02a58df63123..8de989bc05eb74af273337cf06ab6a89eb06d313 100644
--- a/opam
+++ b/opam
@@ -1,5 +1,6 @@
 opam-version: "1.2"
 name: "coq-iris"
+synopsis: "This is the Coq development of the Iris Project"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The Iris Team"
 homepage: "http://iris-project.org/"