From 1399a84e7f8d51b6844485e2e53813f4731a1ed3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 15 Jul 2020 17:41:10 +0200
Subject: [PATCH] better opam synopsis
---
opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam b/opam
index b88e1c146..dc71db6f7 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") }
--
GitLab