Subject: CVS commit: pkgsrc/math/py-z3solver
From: Joerg Sonnenberger
Date: 2020-03-18 18:57:03
Message id: 20200318175703.29BD9FB27@cvs.NetBSD.org
Log Message:
Fix vector to element array conversion
Files:
RevisionActionfile
1.2modifypkgsrc/math/py-z3solver/distinfo