Now
MAIN commitmail json YAML
Let manticore depend on the implementation of Z3 it actually requires
With this change, this package should finally work for real.
Bump PKGREVISION.
With this change, this package should finally work for real.
Bump PKGREVISION.