Gentoo Packages

USE Flag: hypothesis-selection

Search

Manage

Information: euse -i hypothesis-selection
Enable: euse -E hypothesis-selection
Disable: euse -D hypothesis-selection

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

sci-mathematics/why3-for-spark: Enable hypothesis selection

Local Descriptions (use.local.desc)

sci-mathematics/why3-for-spark: Enable hypothesis selection

Packages Using This Flag

Package	Local Description (use.local.desc)	Metadata Description (metadata.xml)
sci-mathematics/why3-for-spark	Enable hypothesis selection	Enable hypothesis selection