| Package | Local Description (use.local.desc) | Metadata Description (metadata.xml) |
|---|---|---|
| sci-mathematics/why3 | Add support for outputting S-expressions with dev-ml/ppx_sexp_conv | Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg> |
| sci-mathematics/why3-for-spark | Add support for outputting S-expressions with dev-ml/ppx_sexp_conv | Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg> |