coq-menhirlib
|
Легенда:
|
| alpha | amd64 | arm | hppa | ia64 | m68k | mips | ppc | ppc64 | s390 | sh | sparc | x86 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 20220210 | - | ~ | - | - | - | - | - | - | - | - | - | - | ~ |
USE флаги
- ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Экспортировать в Atom