Path to this page:
NOTICE: This package has been removed from pkgsrc./
wip/py-claripy,
Abstraction layer for constraint solvers
Branch: CURRENT,
Version: 9.0.4378,
Package name: py37-claripy-9.0.4378,
Maintainer: khorbenClaripy is an abstracted constraint-solving wrapper.
General usage is similar to z3.
Required to run:[
devel/py-setuptools] [
lang/python27]
Required to build:[
pkgtools/cwrappers]
Master sites:
SHA1: 149b752a13c430055ed522935ef9b1f118d10495
RMD160: afba52ea4218531405575dcbe5440c0935a5a12d
Filesize: 146.831 KB
Version history: (Expand)
- (2020-10-01) Package deleted from pkgsrc
- (2020-09-29) Package has been reborn
- (2020-09-29) Package deleted from pkgsrc
- (2020-09-23) Package has been reborn
- (2020-09-23) Updated to version: py37-claripy-9.0.4378
- (2018-03-16) Package deleted from pkgsrc
Browse pkgsrc
(this page)
wip
CVSweb ] [ 
Homepage ] [ 
RSS ] [ 
Required by ] 
New packages: