Gentoo Packages
Gentoo Packages
>
USE Flags
> cryptominisat
USE Flag: cryptominisat
Search
Search
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
sci-mathematics/stp:
Enable <pkg>sci-mathematics/cryptominisat</pkg> support
Local Descriptions (use.local.desc)
sci-mathematics/stp:
Enable sci-mathematics/cryptominisat support
Warnings
Warning: USE flag 'cryptominisat' 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/stp
Enable sci-mathematics/cryptominisat support
Enable <pkg>sci-mathematics/cryptominisat</pkg> support