Update opam files

Author: Halbaroth

opam

@@ -1,15 +1,24 @@
-opam-version: "1.2"
+opam-version: "2.0"
 name: "ocplib-simplex"
-version: "0.4"
-
-authors: "Mohamed Iguernlala <[email protected]>"
-maintainer: "Mohamed Iguernlala <[email protected]>"
+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 <[email protected]>"
+  "Hichem Ait El Hara <[email protected]>"
+  "Steven de Oliveira <[email protected]>"
+  "Guillaume Bury <[email protected]>"
+]
+maintainer: ["OCamlPro <[email protected]>"]
 
-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" ]
+flags: light-uninstall