dev-ml / ocplib-simplex

A library implementing a simplex algorithm

Official package sites : https://github.com/OCamlPro-Iguernlala/ocplib-simplex ·

A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

v0.5.1 :: 0 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
~amd64
USE flags
ocamlopt test

v0.4.1 :: 0 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
amd64
USE flags
ocamlopt

v0.4 :: 0 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
amd64
USE flags
ocamlopt

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-ml / logs : Logging infrastructure for OCaml

sci-mathematics / alt-ergo : Automatic theorem prover

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ocplib-simplex: add 0.5.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ocplib-simplex: FLAGS are ignored in the eclass
Closes: https://bugs.gentoo.org/832814 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/ocplib-simplex: Stabilize 0.4.1 amd64, #915371
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ocplib-simplex: add 0.4.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/ocplib-simplex: multilib--
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/ocplib-simplex: drop 0.3
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ocplib-simplex: respect LDFLAGS and remove warning
Closes: https://bugs.gentoo.org/728040 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: Stable version
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: Fix SRC_URI
Closes: https://bugs.gentoo.org/690710 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: version bump to 0.4
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: Stabilizing
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: configure.ac depends fix. Bug #634344
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: Add dev-ml/ocplib-simplex-0.3
Package-Manager: Portage-2.3.8, Repoman-2.3.3