Subject: CVS commit: pkgsrc/devel/py-manticore
From: Pierre Pronchery
Date: 2018-03-13 01:58:35
Message id: 20180313005835.3834EFB40@cvs.NetBSD.org
Log Message:
devel/py-manticore really depends on the Python bindings for math/z3

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