Сервисы » Обзор пакетов » sci-mathematics »
alt-ergo
|
|
Легенда:
- + - стабильный
- ~ - нестабильный
- M - замаскированный
|
|
|
alpha |
amd64 |
arm |
hppa |
ia64 |
m68k |
mips |
ppc |
ppc64 |
s390 |
sh |
sparc |
x86 |
| 9999 |
diff
|
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
| 2.4.3 |
|
- |
+ |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
USE флаги
- examples - Install examples, usually source code
- gui - Enable support for a graphical user interface
- ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Экспортировать в
Atom
