Gentoo Packages

USE Flag: sexp

Search

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

sci-mathematics/why3: 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 <pkg>dev-ml/ppx_sexp_conv</pkg>

Local Descriptions (use.local.desc)

sci-mathematics/why3: Add support for outputting S-expressions with dev-ml/ppx_sexp_conv
sci-mathematics/why3-for-spark: Add support for outputting S-expressions with dev-ml/ppx_sexp_conv

Warnings

Warning: USE flag 'sexp' is used in ebuilds/metadata but is not defined in profiles/use.desc

Packages Using This Flag

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>