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)