| Package | Local Description (use.local.desc) | Metadata Description (metadata.xml) |
|---|---|---|
| sci-mathematics/why3 | Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations | Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations |
| sci-mathematics/why3-for-spark | Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations | Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations |