Versions
v20220210 :: 0/20220210 :: gentoo
- Modified
- License
- GPL-2 LGPL-2-with-linking-exception
- Keywords
- ~amd64 ~x86
- USE flags
- ocamlopt
USE flags
General
- ocamlopt
- Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / dune : A composable build system for OCaml
dev-ml / menhir : LR(1) parser generator for the OCaml language
sci-mathematics / coq : Proof assistant written in O'Caml
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / dune : A composable build system for OCaml
dev-ml / menhir : LR(1) parser generator for the OCaml language
sci-mathematics / coq : Proof assistant written in O'Caml
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-ml/coq-menhirlib: new package; add 20220210
Closes: https://bugs.gentoo.org/888075 Signed-off-by: Maciej Barć <xgqt@gentoo.org>