From 846deb081a75e754bf568508d5fccf09bfcca0f1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 18 Mar 2020 16:21:28 +0100
Subject: [PATCH] symc synopsis and description with opam repository

---
 opam | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/opam b/opam
index 9c4f1226..a339b964 100644
--- a/opam
+++ b/opam
@@ -7,9 +7,8 @@ homepage: "https://gitlab.mpi-sws.org/iris/stdpp"
 bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/stdpp.git"
 
-synopsis: "This project contains an extended \"Standard Library\" for Coq called coq-std++"
+synopsis: "std++ is an extended \"Standard Library\" for Coq"
 description: """
-This project contains an extended "Standard Library" for Coq called coq-std++.
 The key features of this library are as follows:
 
 - It provides a great number of definitions and lemmas for common data
-- 
GitLab