summaryrefslogtreecommitdiff
path: root/math/py-claripy/Makefile
AgeCommit message (Collapse)AuthorFilesLines
2022-01-04*: bump PKGREVISION for egg.mk userswiz1-1/+2
They now have a tool dependency on py-setuptools instead of a DEPENDS
2020-09-28py-angr: update to version 9.0.4378khorben1-3/+3
The project did not release any list of changes. This spans 7 years worth of commits; tough to summarize for an outsider.
2020-08-18Update py-angr to 8.20.7.27, along with associated packages.riastradh1-3/+5
Version is consolidated into devel/py-angr/version.mk now so the next person to come along will know what else needs to be updated. devel/py-pyvex distfiles are still kinda kludgey, and devel/py-angr's tests don't run without binary samples that I got bored trying to incorporate.
2020-08-18math/py-claripy: Add depends and tests.riastradh1-1/+12
2020-01-09py-angr: update py-angr and dependencies (all from the angr project) to 8.20.1.7wiz1-4/+4
This now only supports python 3.x. Other changes not documented.
2018-03-15Import py-claripy version 7.8.2.21 from wipkhorben1-0/+18
Claripy is an abstracted constraint-solving wrapper. It is maintained by the angr organization on GitHub. General usage is similar to z3.