Сервисы » Обзор пакетов » sci-mathematics »
stp
|
|
Легенда:
- + - стабильный
- ~ - нестабильный
- M - замаскированный
|
|
|
alpha |
amd64 |
arm |
hppa |
ia64 |
m68k |
mips |
ppc |
ppc64 |
s390 |
sh |
sparc |
x86 |
| 2.3.3-r3 |
|
- |
~ |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
~ |
USE флаги
- cryptominisat - Enable sci-mathematics/cryptominisat support
- debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
- python - Enable building the Python interface
- python_single_target_python3_10 - Build for Python 3.10 only
- python_single_target_python3_11 - Build for Python 3.11 only
- test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
Экспортировать в
Atom
