From b5dde3b95f051f8a26f7447511a53aa2442fa86d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Sun, 19 Jun 2022 19:24:01 +0200
Subject: [PATCH] Fix license information

---
 colibri2.opam   | 2 +-
 colibrics.opam  | 1 +
 colibrilib.opam | 1 +
 dune-project    | 2 +-
 4 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/colibri2.opam b/colibri2.opam
index 39732a7e8..8e0cd52fa 100644
--- a/colibri2.opam
+++ b/colibri2.opam
@@ -9,7 +9,7 @@ authors: [
   "Guillaume Bury"
   "Stéphane Graham-Lengrand"
 ]
-license: "LGPL-3.0-only"
+license: "LGPL-2.1"
 homepage: "https://colibri.frama-c.com"
 bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 depends: [
diff --git a/colibrics.opam b/colibrics.opam
index 8038ec2e1..c66fe447a 100644
--- a/colibrics.opam
+++ b/colibrics.opam
@@ -4,6 +4,7 @@ synopsis: "A CP solver proved in Why3"
 description: "The core of Colibrics is formally proved using Why3."
 maintainer: ["François Bobot"]
 authors: ["François Bobot"]
+license: "LGPL-2.1"
 homepage: "https://colibri.frama-c.com"
 bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 depends: [
diff --git a/colibrilib.opam b/colibrilib.opam
index 8353d1fc0..0df2c5f15 100644
--- a/colibrilib.opam
+++ b/colibrilib.opam
@@ -4,6 +4,7 @@ synopsis: "A library of domains and propagators proved in Why3"
 description: "Interval, and union of interval domains defined formally"
 maintainer: ["François Bobot"]
 authors: ["François Bobot"]
+license: "LGPL-2.1"
 homepage: "https://colibri.frama-c.com"
 bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 depends: [
diff --git a/dune-project b/dune-project
index 92393c507..3d7d9925e 100644
--- a/dune-project
+++ b/dune-project
@@ -8,6 +8,7 @@
 (source (uri "git+https://git.frama-c.com/pub/colibrics.git"))
 (homepage "https://colibri.frama-c.com")
 (bug_reports "https://git.frama-c.com/pub/colibrics/issues")
+(license "LGPL-2.1")
 
 (name colibri2)
 (package
@@ -50,7 +51,6 @@
 (package (name colibri2)
          (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand")
          (maintainers "François Bobot")
-         (license LGPL-3.0-only)
          (synopsis "A CP solver for smtlib")
          (description "A reimplementation of COLIBRI in OCaml")
          (depends
-- 
GitLab