Merge pull request #26 from Halbaroth/update-dune-project

Update dune-project

dune-project

@@ -1,39 +1,31 @@
 (lang dune 2.0)
-
-(name ocplib-simplex)
-
-(version 0.5)
-
 (generate_opam_files true)
 
-(source
- (github OCamlPro/ocplib-simplex))
-
+(name ocplib-simplex)
+(version dev)
+(source (github OCamlPro/ocplib-simplex))
 (authors
   "Mohamed Iguernlala <[email protected]>"
   "Hichem Ait El Hara <[email protected]>"
   "Steven de Oliveira <[email protected]>"
   "Guillaume Bury <[email protected]>"
+  "Pierre Villemot <[email protected]>"
 )
-
 (maintainers "OCamlPro <[email protected]>")
-
-(license LICENSE)
-
-(documentation https://github.com/OCamlPro/ocplib-simplex)
+(documentation "https://ocamlpro.github.io/ocplib-simplex")
 
 (package
  (name ocplib-simplex)
  (synopsis
-  "ocplib-simplex: A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities")
+  "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities")
  (description
-  "ocplib-simplex 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.")
+  "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.")
+ (license "LGPL-2.1-or-later")
  (depends
   (ocaml (>= 4.02.0))
   (dune (>= 2.0))
   (ocamlfind (>= 1.9.1))
   (zarith :with-test)
   (logs (>= 0.5.0))
+  (odoc :with-doc)
 ))
-
-; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project

ocplib-simplex.opam

@@ -1,27 +1,29 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.5"
+version: "dev"
 synopsis:
-  "ocplib-simplex: A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"
+  "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"
 description:
-  "ocplib-simplex 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."
+  "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."
 maintainer: ["OCamlPro <[email protected]>"]
 authors: [
   "Mohamed Iguernlala <[email protected]>"
   "Hichem Ait El Hara <[email protected]>"
   "Steven de Oliveira <[email protected]>"
   "Guillaume Bury <[email protected]>"
+  "Pierre Villemot <[email protected]>"
 ]
-license: "LICENSE"
+license: "LGPL-2.1-or-later"
 homepage: "https://github.com/OCamlPro/ocplib-simplex"
-doc: "https://github.com/OCamlPro/ocplib-simplex"
+doc: "https://ocamlpro.github.io/ocplib-simplex"
 bug-reports: "https://github.com/OCamlPro/ocplib-simplex/issues"
 depends: [
   "ocaml" {>= "4.02.0"}
   "dune" {>= "2.0"}
   "ocamlfind" {>= "1.9.1"}
   "zarith" {with-test}
   "logs" {>= "0.5.0"}
+  "odoc" {with-doc}
 ]
 build: [
   ["dune" "subst"] {pinned}