From c99ba6a483d66e344f24e5fa862d4e0b5d984967 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 26 May 2021 21:28:00 +0200
Subject: [PATCH] Add a license: field in sek.opam.

---
 sek.opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sek.opam b/sek.opam
index 60591f3..c3d4a3c 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]
 ]
-- 
GitLab