Subject: CVS commit: pkgsrc/devel/py-manticore
From: Pierre Pronchery
Date: 2018-03-20 16:50:06
Message id: 20180320155006.11D7CFB40@cvs.NetBSD.org
Log Message:
Let manticore depend on the implementation of Z3 it actually requires

With this change, this package should finally work for real.

Bump PKGREVISION.
Files:
RevisionActionfile
1.8modifypkgsrc/devel/py-manticore/Makefile