Subject: CVS commit: pkgsrc/math/py-z3solver
From: Pierre Pronchery
Date: 2018-03-20 17:06:44
Message id: 20180320160644.6293AFB40@cvs.NetBSD.org
Log Message:
Correct the package name for math/py-z3solver
Files:
RevisionActionfile
1.2modifypkgsrc/math/py-z3solver/Makefile