diff --git a/semantics.opam b/semantics.opam
index 3a389dcd5d4f4390b6845441b9a4989e37eaad17..32fd42f75210842878bee06d079a4bb4a86eba8d 100644
--- a/semantics.opam
+++ b/semantics.opam
@@ -1,9 +1,12 @@
 opam-version: "2.0"
 name: "coq-semantics-course"
-license: "BSD"
+license: "BSD-3-Clause"
 maintainer: "Simon Spies, Lennard Gäher"
 authors: "Derek Dreyer, Simon Spies, Lennard Gäher"
 synopsis: "Best course this side of the milky way"
+homepage: "https://plv.mpi-sws.org/semantics-course/"
+bug-reports: "https://gitlab.mpi-sws.org/FP/semantics-course/issues"
+version: "dev"
 
 depends: [
   "coq" { (>= "8.13" & < "8.16~") | (= "dev") }