this repo has no description

Apply suggestions from code review

Kate 01353630 3ea2e2ae

Changed files
+17 -26
packages
alt-ergo
alt-ergo.2.0.0
alt-ergo.2.1.0
alt-ergo.2.2.0
alt-ergo-free
alt-ergo-free.2.0.0
alt-ergo-free.2.2.0
alt-ergo-lib
alt-ergo-lib.2.3.0
alt-ergo-lib.2.3.1
alt-ergo-lib.2.3.2
alt-ergo-lib.2.3.3
alt-ergo-lib.2.4.0
alt-ergo-lib.2.4.1
alt-ergo-lib.2.4.2
alt-ergo-lib-free
alt-ergo-lib-free.2.3.3
alt-ergo-lib-free.2.3.3.dune3
colibri2
colibri2.0.3.3
ocplib-simplex
ocplib-simplex.0.5
osdp
osdp.0.6.0
+1 -1
packages/alt-ergo-free/alt-ergo-free.2.0.0/opam
···
"num"
"zarith" {>= "1.4"}
"camlzip" {< "1.08"}
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"menhir" {< "20211215"}
"conf-autoconf" {build}
]
+1 -1
packages/alt-ergo-free/alt-ergo-free.2.2.0/opam
···
"num"
"zarith" {>= "1.4"}
"camlzip"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"psmt2-frontend" {= "0.1" }
"menhir" {< "20211215"}
"conf-autoconf" {build}
+1 -1
packages/alt-ergo-lib-free/alt-ergo-lib-free.2.3.3.dune3/opam
···
"ocaml" {>="4.04.0" & < "4.07.0"}
"dune" {>= "1.5"}
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith"
"seq"
"stdlib-shims"
+1 -1
packages/alt-ergo-lib-free/alt-ergo-lib-free.2.3.3/opam
···
"ocaml" {>="4.04.0" & < "4.07.0"}
"dune" {>= "1.5" & < "3.0.0"}
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith"
"seq"
"stdlib-shims"
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.3.0/opam
···
"ocaml" {>="4.04.0"}
"dune" {>= "1.5" & < "3.0"}
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith"
"seq"
]
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam
···
"ocaml" {>="4.04.0"}
"dune" {>= "1.5" & < "3.0"}
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith"
"seq"
]
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.3.2/opam
···
"ocaml" {>="4.04.0"}
"dune" {>= "1.5" & < "3.0"}
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith"
"seq"
"stdlib-shims"
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.3.3/opam
···
"ocaml" {>="4.04.0"}
"dune" {>= "1.5" & < "3.0"}
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith"
"seq"
"stdlib-shims"
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.4.0/opam
···
"dune" {>= "2.0" & < "3.0"}
"dune-configurator"
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith"
"seq"
"stdlib-shims"
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.4.1/opam
···
"dune" {>= "2.0" & < "3.0"}
"dune-configurator"
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith" {>= "1.4"}
"seq"
"stdlib-shims"
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.4.2/opam
···
"dune" {>= "2.0"}
"dune-configurator"
"num"
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"zarith" {>= "1.5"}
"seq"
"stdlib-shims"
+1 -1
packages/alt-ergo/alt-ergo.2.0.0/opam
···
"num"
"zarith"
"camlzip" {< "1.08"}
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"menhir" {< "20211215"}
"conf-autoconf" {build}
]
+1 -1
packages/alt-ergo/alt-ergo.2.1.0/opam
···
"num"
"zarith"
"camlzip" {< "1.08"}
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"menhir" {< "20211215"}
"conf-autoconf" {build}
]
+1 -1
packages/alt-ergo/alt-ergo.2.2.0/opam
···
"num"
"zarith"
"camlzip" {< "1.08"}
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"psmt2-frontend" {= "0.1"}
"menhir" {< "20211215"}
"conf-autoconf" {build}
+1 -1
packages/colibri2/colibri2.0.3.3/opam
···
"farith"
"ounit2" {>= "2.2.4" & with-test}
"ocaml" {>= "4.12"}
-
"ocplib-simplex" {= "0.4"}
+
"ocplib-simplex" {>= "0.4" & < "0.5"}
"odoc" {with-doc}
]
build: [
+1 -10
packages/ocplib-simplex/ocplib-simplex.0.5/opam
···
opam-version: "2.0"
-
version: "0.5"
authors: [
"Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
···
dev-repo: "git+https://github.com/OCamlPro/ocplib-simplex.git"
build: [
-
["dune" "subst"] {pinned}
+
["dune" "subst"] {dev}
[
"dune"
"build"
···
"@runtest" {with-test}
"@doc" {with-doc}
]
-
]
-
-
install:[
-
[make "install"]
-
]
-
-
remove:[
-
[make "uninstall"]
]
depends: [
+1 -1
packages/osdp/osdp.0.6.0/opam
···
"ocamlfind"
"ocamlbuild"
"zarith"
-
"ocplib-simplex" {>= "0.3" & <= "0.4"}
+
"ocplib-simplex" {>= "0.3" & < "0.5"}
"conf-sdpa"
]
synopsis: "OCaml Interface to SDP solvers."