From b3cc0a72e49648d2d2c4fe127bc35cd46153e5bb Mon Sep 17 00:00:00 2001
From: Pierre Villemot <tiky.halbaroth@gmail.com>
Date: Fri, 21 Apr 2023 13:47:57 +0200
Subject: [PATCH] Update opam files

---
 opam | 27 ++++++++++++++++++---------
 1 file changed, 18 insertions(+), 9 deletions(-)

diff --git a/opam b/opam
index 7496031..6a70f11 100644
--- a/opam
+++ b/opam
@@ -1,15 +1,24 @@
-opam-version: "1.2"
+opam-version: "2.0"
 name: "ocplib-simplex"
-version: "0.4"
-
-authors: "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
-maintainer: "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
+version: "0.4.1"
+synopsis:
+  "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"
+description:
+  "This library is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities. The implementation is incremental and backtrackable. It is able to extract unsat-cores for unsatisfiable problems. Versions > 0.1 also support linear optimization."
+
+authors: [
+  "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
+  "Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com>"
+  "Steven de Oliveira <steven.de-oliveira@ocamlpro.com>"
+  "Guillaume Bury <guillaume.bury@ocamlpro.com>"
+]
+maintainer: ["OCamlPro <contact@ocamlpro.com>"]
 
-license: "LGPL version 2.1"
+license: "LGPL-2.1-or-later"
 homepage: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex"
 
 bug-reports: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues"
-dev-repo: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex.git"
+dev-repo: "git+https://github.com/OCamlPro-Iguernlala/ocplib-simplex.git"
 
 
 build:[
@@ -28,9 +37,9 @@ remove:[
 ]
 
 depends: [
+  "ocaml" {>= "4.01.0"}
   "ocamlfind" {build}
   "conf-autoconf" {build}
   "num"
 ]
-
-available: [ ocaml-version >= "4.01.0" ]
\ No newline at end of file
+flags: light-uninstall