| Package | Local Description (use.local.desc) | Metadata Description (metadata.xml) |
|---|---|---|
| sci-mathematics/why3 | Add sci-mathematics/coq support | Add <pkg>sci-mathematics/coq</pkg> support |
| sci-mathematics/why3-for-spark | Add sci-mathematics/coq support | Add <pkg>sci-mathematics/coq</pkg> support |