Versions
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
USE flags
General
Dependencies
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
Runtime Dependencies
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
Depending packages
dev-ml / opam-format : Core libraries for opam
dev-ml / opam-solver : opam solver
Change logs
- 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