From fee51a5042e0305d0f832a37aefb1d8730815ab0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Sat, 25 Dec 2021 09:43:22 +0100
Subject: [PATCH] Add license: fields.

---
 feat-core.opam | 1 +
 feat-num.opam  | 1 +
 feat.opam      | 1 +
 3 files changed, 3 insertions(+)

diff --git a/feat-core.opam b/feat-core.opam
index 833a2fd..628243a 100644
--- a/feat-core.opam
+++ b/feat-core.opam
@@ -1,5 +1,6 @@
 name: "feat-core"
 opam-version: "2.0"
+license: "MIT"
 maintainer: "francois.pottier@inria.fr"
 authors: [
   "FranÃ§ois Pottier <francois.pottier@inria.fr>"
diff --git a/feat-num.opam b/feat-num.opam
index 15316c1..f134fd8 100644
--- a/feat-num.opam
+++ b/feat-num.opam
@@ -1,5 +1,6 @@
 name: "feat-num"
 opam-version: "2.0"
+license: "MIT"
 maintainer: "francois.pottier@inria.fr"
 authors: [
   "FranÃ§ois Pottier <francois.pottier@inria.fr>"
diff --git a/feat.opam b/feat.opam
index 3d020f2..e143e49 100644
--- a/feat.opam
+++ b/feat.opam
@@ -1,5 +1,6 @@
 name: "feat"
 opam-version: "2.0"
+license: "MIT"
 maintainer: "francois.pottier@inria.fr"
 authors: [
   "FranÃ§ois Pottier <francois.pottier@inria.fr>"
-- 
GitLab