From 1bb3e3fad3c900f5f7c3fef0d52cb78c9fd57062 Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Fri, 28 May 2021 13:50:44 +0200 Subject: [PATCH] comply by opam's style guidelines --- coq-iris-heap-lang.opam | 2 +- coq-iris.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/coq-iris-heap-lang.opam b/coq-iris-heap-lang.opam index 42bd1d233..7a6809ef3 100644 --- a/coq-iris-heap-lang.opam +++ b/coq-iris-heap-lang.opam @@ -7,7 +7,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues" dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git" version: "dev" -synopsis: "HeapLang is the canonical example language for Iris" +synopsis: "The canonical example language for Iris" description: """ This package provides the iris.heap_lang Coq module. """ diff --git a/coq-iris.opam b/coq-iris.opam index dbf8491f0..c375c3359 100644 --- a/coq-iris.opam +++ b/coq-iris.opam @@ -7,7 +7,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues" dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git" version: "dev" -synopsis: "Iris is a Higher-Order Concurrent Separation Logic Framework with support for interactive proofs" +synopsis: "A Higher-Order Concurrent Separation Logic Framework with support for interactive proofs" description: """ This package provides the following Coq modules: iris.prelude, iris.algebra, iris.si_logic, iris.bi, iris.proofmode, iris.base_logic, iris.program_logic. -- GitLab