./devel/angr/py-claripy [abstraction layer for constraint solvers]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 8.20.1.7, Package name: py3-claripy-8.20.1.7
Maintained by: Jasper Lievisse Adriaanse, Klemens Nanni
Master sites:
Description
Claripy is an abstracted constraint-solving wrapper.


Filesize: 118.931 KB
Version History (View Complete History)
  • (2020-02-16) Updated to version: py3-claripy-8.20.1.7
  • (2019-11-10) Updated to version: py3-claripy-8.19.10.30
  • (2019-09-15) Updated to version: py-claripy-8.19.7.25
  • (2019-07-24) Package added to openports.se, version py-claripy-8.19.4.5 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2020-02-15 11:36:18 by Klemens Nanni | Files touched by this commit (19)
Log message:
Update angr and angrop to 8.20.1.7
Feedback and OK jasper
   2019-12-28 07:10:21 by Jasper Lievisse Adriaanse | Files touched by this commit (2)
Log message:
adjust py-cachetools dependency
   2019-11-10 02:29:32 by Klemens Nanni | Files touched by this commit (19)
Log message:
Update to angr-8.19.10.30
   2019-09-15 07:29:50 by Klemens Nanni | Files touched by this commit (16)
Log message:
Update angr to 8.19.7.25
Mostly just bugfixes;  there is no changelog, so please have a look at
https://github.com/angr/angr/commits/master/
"Go ahead" jasper