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"]