diff --git a/opam b/opam
index b88e1c1469489d55d4cb0c0bd1efcb1f29cc097d..dc71db6f72211a384aefcc11a1b50a9b93c861f0 100644
--- a/opam
+++ b/opam
@@ -7,7 +7,7 @@ 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"
 
-synopsis: "This is the Coq development of the Iris Project"
+synopsis: "Iris is a Higher-Order Concurrent Separation Logic Framework with support for interactive proofs"
 
 depends: [
   "coq" { (>= "8.9.1" & < "8.13~") | (= "dev") }