From 21de4a0264e546035b4d4cda9c9bda05b44a7e39 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 28 May 2021 13:49:58 +0200
Subject: [PATCH] comply by opam's style guidelines

---
 coq-stdpp.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index a9b3d990..3342296c 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -7,7 +7,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/stdpp.git"
 version: "dev"
 
-synopsis: "std++ is an extended \"Standard Library\" for Coq"
+synopsis: "An extended \"Standard Library\" for Coq"
 description: """
 The key features of this library are as follows:
 
-- 
GitLab