Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

local USE flag
zarith

Packages describing “zarith” as local USE flag

Package“zarith” Flag Description
sci-mathematics/why3Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations
sci-mathematics/why3-for-sparkUse Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations

All packages providing a “zarith” USE flag (1)