zarith

Local USE flag

Packages describing “zarith” as local USE flag

Package “zarith” Flag Description
sci-mathematics/why3-for-spark Use dev-ml/zarith