dev-ml / mccs

Multi Criteria CUDF Solver

Official package sites : http://www.i3s.unice.fr/~cpjm/misc/ · https://github.com/AltGr/ocaml-mccs/issues ·

v1.1.13 :: 0/1.1.13 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86
USE flags
ocamlopt test

v1.1.11 :: 0/1.1.11 :: gentoo

Modified
License
BSD
Keywords
amd64 arm arm64 ppc ppc64 x86
USE flags
ocamlopt test

General

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 / cudf : Library to parse, pretty print, and evaluate CUDF documents

dev-ml / extlib : Standard library extensions for O'Caml

sci-mathematics / glpk : GNU Linear Programming Kit

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

dev-ml / cudf : Library to parse, pretty print, and evaluate CUDF documents

sci-mathematics / glpk : GNU Linear Programming Kit

dev-ml / opam-solver : opam solver

Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: destabilize 1.1.13
Bug: https://bugs.gentoo.org/788100 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/mccs: add 1.1.13
Closes: https://bugs.gentoo.org/788100 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 ppc64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ml/mccs: amd64 stable wrt bug #772833
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 x86, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 ppc, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: Keyword 1.1.11 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/mccs: Fix QA MissingTestRestrict
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/mccs: Dependency of dev-ml/opam-solver
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-ml/*: Remove first set of unneeded leaf packages
Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Alexis Ballier · gentoo
dev-ml/mccs: initial import
Package-Manager: Portage-2.3.8, Repoman-2.3.3