blob: d2c0910c856cf126d3258dc8d2a40e8891ab26f6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = python2-claripy
pkgdesc = An abstraction layer for constraint solvers
pkgver = 7.8.2.21
pkgrel = 1
url = https://github.com/angr/claripy
arch = any
license = BSD
makedepends = python2-distribute
depends = python2
depends = python2-ana
depends = python2-future
depends = z3
source = https://pypi.python.org/packages/91/5f/2a8e413a68b21926d89b7aeb3bfc0d36e86a984c86e7489e85b0caa79a5d/claripy-7.8.2.21.tar.gz
source = https://raw.githubusercontent.com/angr/claripy/master/LICENSE
source = python-version.patch
md5sums = f875d5a5e980d0cafbd6a9121b728645
md5sums = 92da168ebb0065f567f0ea48bed0f512
md5sums = 71519b586ac229fd40597714e1f66b85
pkgname = python2-claripy
|