diff --git a/opam b/opam
index cfe9c4b41720fb1c32bf11039862e37c7f44a7ce..65bfa7b1d201452dcd14e302858fabf81b0ccc82 100644
--- a/opam
+++ b/opam
@@ -1,5 +1,6 @@
 opam-version: "1.2"
 name: "coq-stdpp"
+synopsis: "This project contains an extended \"Standard Library\" for Coq called coq-std++"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 homepage: "https://gitlab.mpi-sws.org/iris/stdpp"
 authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung"