Fix some opam issues.

CoqHott · Sep 19, 2023 · 712f1af · 712f1af
1 parent 9673dfd
commit 712f1af
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/opam b/opam
@@ -1,7 +1,10 @@
+synopsis: "Supplementary material for the Martin-Löf à la Coq paper"
 opam-version: "2.0"              
 version: "8.16.dev"
 maintainer: "anonymous"
 authors: ["anonymous"]
+homepage: "The Internet"
+bug-reports: "The Internet"
 license: "MIT"
 depends: [
   "coq" { >= "8.16" & < "8.17~" }