From 887ba93d08ba7345fdded306e024775458811ed7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <l.gaeher@posteo.de>
Date: Fri, 29 Jul 2022 15:12:04 +0200
Subject: [PATCH] opam metadata
---
semantics.opam | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/semantics.opam b/semantics.opam
index 3a389dc..32fd42f 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") }
--
GitLab