Subject: CVS commit: pkgsrc/math/py-claripy
From: Pierre Pronchery
Date: 2018-03-15 03:24:18
Message id: 20180315022418.B6B2FFB40@cvs.NetBSD.org
Log Message:
Import py-claripy version 7.8.2.21 from wip

Claripy is an abstracted constraint-solving wrapper.
It is maintained by the angr organization on GitHub.

General usage is similar to z3.
Files:
RevisionActionfile
1.1addpkgsrc/math/py-claripy/DESCR
1.1addpkgsrc/math/py-claripy/Makefile
1.1addpkgsrc/math/py-claripy/PLIST
1.1addpkgsrc/math/py-claripy/distinfo