--- - branch: MAIN date: Tue Jun 20 10:20:21 UTC 2023 files: - new: '1.10' old: '1.9' path: pkgsrc/math/py-claripy/distinfo pathrev: pkgsrc/math/py-claripy/distinfo@1.10 type: modified - new: '1.1' old: '0' path: pkgsrc/math/py-claripy/patches/patch-setup.cfg pathrev: pkgsrc/math/py-claripy/patches/patch-setup.cfg@1.1 type: added id: 20230620T102021Z.fe40311191dee2876b83fe9808668113ae756207 log: | py-claripy: relax z3-solver requirement module: pkgsrc subject: 'CVS commit: pkgsrc/math/py-claripy' unixtime: '1687256421' user: adam