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