Gentoo Packages
Gentoo Packages
>
haskell
>
USE Flags
> stptestdisable
USE Flag: stptestdisable
Search
Search
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
dev-haskell/what4:
when running solver tests, disable testing using STP (ignored unless -fsolverTests)
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
dev-haskell/what4
-
when running solver tests, disable testing using STP (ignored unless -fsolverTests)