Subject: CVS commit: pkgsrc/math/py-claripy
From: Adam Ciarcinski
Date: 2023-06-20 12:20:21
Message id: 20230620102021.13ED3FA89@cvs.NetBSD.org
Log Message:
py-claripy: relax z3-solver requirement
Files:
RevisionActionfile
1.10modifypkgsrc/math/py-claripy/distinfo
1.1addpkgsrc/math/py-claripy/patches/patch-setup.cfg