Subject: CVS commit: pkgsrc/math
From: Adam Ciarcinski
Date: 2024-08-13 11:21:07
Message id: 20240813092108.1BC0DFC74@cvs.NetBSD.org
Log Message:
z3 py-z3: updated to 4.13.0

Version 4.13.0

- add ARM64 wheels for Python, thanks to Steven Moy, smoy
Files:
RevisionActionfile
1.8modifypkgsrc/math/py-z3/Makefile
1.4modifypkgsrc/math/py-z3/PLIST
1.9modifypkgsrc/math/z3/Makefile.common
1.6modifypkgsrc/math/z3/PLIST
1.18modifypkgsrc/math/z3/distinfo