khorben ecd5f921ea Let manticore depend on the implementation of Z3 it actually requires ... With this change, this package should finally work for real. Bump PKGREVISION.		2018-03-20 15:50:05 +00:00
..
DESCR
distinfo	Update devel/py-manticore to version 0.1.7	2018-02-25 21:58:48 +00:00
Makefile	Let manticore depend on the implementation of Z3 it actually requires	2018-03-20 15:50:05 +00:00
PLIST	Update devel/py-manticore to version 0.1.7	2018-02-25 21:58:48 +00:00