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