%FILENAME%
python-claripy-9.2.47-1-any.pkg.tar.zst

%NAME%
python-claripy

%BASE%
python-claripy

%VERSION%
9.2.47-1

%DESC%
Abstraction layer for constraint solvers

%CSIZE%
363502

%ISIZE%
2475346

%MD5SUM%
38e71e18cec27d5ed34ec21375ee3827

%SHA256SUM%
7f99e0f37340b1000092ae55f14dce0b8de0c5de66e6364a16acb46eaa52e316

%PGPSIG%
iHUEABYKAB0WIQSZH24/B2XPYpWIhYYTmwnaW/DTOAUCZEZjqQAKCRATmwnaW/DTOCzgAQDCk2H/PFHsFdwrSWEEY1aKmC5rxgTyYpnIq7gO95Zm3QEAvP/Ff9Pp/LyX2+UIN8esWwkaVziEEWJlGbCYEKAs/wg=

%URL%
https://github.com/angr/claripy

%LICENSE%
custom:BSD2

%ARCH%
any

%BUILDDATE%
1682334515

%PACKAGER%
David Runge <dvzrv@archlinux.org>

%DEPENDS%
python
python-cachetools
python-decorator
python-pysmt
python-z3-solver

%MAKEDEPENDS%
python-build
python-installer
python-setuptools
python-wheel

%CHECKDEPENDS%
python-pytest

