euse -i stptestdisableeuse -E stptestdisableeuse -D stptestdisable| Package | Local Description (use.local.desc) | Metadata Description (metadata.xml) |
|---|---|---|
| dev-haskell/what4 | - | when running solver tests, disable testing using STP (ignored unless -fsolverTests) |