Commit 8f0d2b5f authored by POTTIER Francois's avatar POTTIER Francois
Browse files

coq-menhirlib.opam: add a [license] field.

parent e81e3149
Pipeline #115144 passed with stages
in 26 seconds
......@@ -8,6 +8,7 @@ authors: [
homepage: "https://gitlab.inria.fr/fpottier/coq-menhirlib"
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
bug-reports: "jacques-henri.jourdan@lri.fr"
license: "LGPL-3.0-or-later"
build: [
[make "-C" "coq-menhirlib" "-j%{jobs}%"]
]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment