From 09b48e91f2bfcff548f5b2ad4d434c2d1e01645b Mon Sep 17 00:00:00 2001
From: Jonas Kastberg Hinrichsen <jihgfee@gmail.com>
Date: Thu, 12 May 2022 12:33:56 +0200
Subject: [PATCH] Made opam file pass linting

---
 coq-actris.opam | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/coq-actris.opam b/coq-actris.opam
index abd0c71..0b4c609 100644
--- a/coq-actris.opam
+++ b/coq-actris.opam
@@ -1,5 +1,7 @@
 opam-version: "2.0"
 maintainer: "Robbert Krebbers"
+synopsis: "Actris: Session protocol reasoning in Iris"
+homepage: "https://gitlab.mpi-sws.org/iris/actris"
 authors: "Jonas Kastberg Hinrichsen, Daniël Louwrink, Jesper Bengtson, Robbert Krebbers"
 license: "BSD"
 bug-reports: "https://gitlab.mpi-sws.org/iris/actris/issues"
-- 
GitLab