Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
local USE flag
zarith
Packages describing “zarith” as local USE flag
Package
“zarith” Flag Description
sci-mathematics/why3
Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations
sci-mathematics/why3-for-spark
Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations
All packages providing a “zarith” USE flag (1)
sci-mathematics/why3-for-spark