fix the .opam file

logsem · Jun 23, 2024 · 5b95d20 · 5b95d20
1 parent 421eb90
commit 5b95d20
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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"]