From 5b95d208333f17d9d40b4996ddd0d6b1f294be45 Mon Sep 17 00:00:00 2001
From: daniel frumin <dan@groupoid.moe>
Date: Sun, 23 Jun 2024 19:55:07 +0200
Subject: [PATCH] fix the .opam file

---
 coq-gitrees.opam | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/coq-gitrees.opam b/coq-gitrees.opam
index 3056b98..48ec974 100644
--- a/coq-gitrees.opam
+++ b/coq-gitrees.opam
@@ -4,7 +4,9 @@ synopsis: "Guarded Interaction Trees"
 version: "dev"
 maintainer: "Logsem"
 authors: "Logsem"
-license: "BSD"
+homepage: "https://github.com/logsem/gitrees"
+bug-reports: "https://github.com/logsem/gitrees/issues"
+license: "MIT"
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/gitrees"]