Subject: CVS commit: pkgsrc/devel/py-manticore
From: Pierre Pronchery
Date: 2018-02-23 00:41:31
Message id: 20180222234131.E80BFFB40@cvs.NetBSD.org
Log Message:
Register missing dependency on math/z3

Bumps PKGREVISION.
Files:
RevisionActionfile
1.2modifypkgsrc/devel/py-manticore/Makefile