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.14 :: 0/1.1.14 :: gentoo

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

v1.1.13 :: 0/1.1.13 :: gentoo

Modified
License
BSD
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
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 / dune : A composable build system for OCaml

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

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

sci-mathematics / glpk : GNU Linear Programming Kit

dev-ml / opam-format : Core libraries for opam

dev-ml / opam-solver : opam solver

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/mccs: add 1.1.14
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Yongxiang Liang · gentoo
dev-ml/mccs: Keyword 1.1.13 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Andreas K. Hüttel · gentoo
dev-ml/mccs: Remove old
Bug: https://bugs.gentoo.org/788100 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Andreas K. Huettel <dilfridge@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 arm64, #807562
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.13 ppc, #807562
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 ppc64, #807562
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 x86, #807562
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 amd64, #807562
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 arm, #807562
Signed-off-by: Sam James <sam@gentoo.org>
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