Gentoo Packages

USE Flag: cryptominisat

Search

Manage

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

Local Descriptions (use.local.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