diff --git a/sek.opam b/sek.opam index 60591f39f60f2ae45429e6b91b8d83177bdacc7b..c3d4a3c16cc744e49914c0ab2670cd0b8f71652f 100644 --- a/sek.opam +++ b/sek.opam @@ -9,6 +9,7 @@ authors: [ homepage: "https://gitlab.inria.fr/fpottier/sek" dev-repo: "git+https://gitlab.inria.fr/fpottier/sek.git" bug-reports: "francois.pottier@inria.fr" +license: "LGPL-3.0-or-later" build: [ ["dune" "build" "-p" name "-j" jobs] ]