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 " -maintainer: "Mohamed Iguernlala " +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 " + "Hichem Ait El Hara " + "Steven de Oliveira " + "Guillaume Bury " +] +maintainer: ["OCamlPro "] -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