Services » Browse Packages » sci-mathematics »
coq-serapi
|
|
Legend:
- + - stable
- ~ - unstable
- M - hardmask
|
|
|
alpha |
amd64 |
arm |
hppa |
ia64 |
m68k |
mips |
ppc |
ppc64 |
s390 |
sh |
sparc |
x86 |
| 0.17.0 |
|
- |
~ |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
USE flags
- emacs - Add support for GNU Emacs
- 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)
Also available in:
Atom
