Subject: CVS commit: pkgsrc/math
From: Adam Ciarcinski
Date: 2025-02-20 11:27:01
Message id: 20250220102701.71036FBE0@cvs.NetBSD.org
Log Message:
z3 py-z3: updated to 4.14.0

4.14.0

bump timeout for jobs
Update release.yml for Azure Pipelines
Update nightly.yaml for Azure Pipelines
Update azure-pipelines.yml for Azure Pipelines
fix unit test
convert def into expression tree
adjust solve_for to handle rationals
fixes to failure conditions for unification
remove verbose output
Add unification based projection function
Files:
RevisionActionfile
1.5modifypkgsrc/math/py-z3/PLIST
1.10modifypkgsrc/math/z3/Makefile.common
1.7modifypkgsrc/math/z3/PLIST
1.19modifypkgsrc/math/z3/distinfo
1.9modifypkgsrc/math/z3/patches/patch-scripts_mk__util.py
1.2modifypkgsrc/math/z3/patches/patch-src_api_python_setup.py