# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = python-claripy
pkgbase = python-claripy
xdata = pkgtype=pkg
pkgver = 9.2.187-1
pkgdesc = An abstraction layer for constraint solvers.
url = https://pypi.org/project/claripy/#files
builddate = 1765278814
packager = Levon Kayan <noptrix@nullsecurity.net>
size = 601677
arch = any
license = custom:unknown
depend = python
depend = z3
depend = python-future
depend = python-cachetools
depend = python-decorator
depend = python-pysmt
makedepend = python-build
makedepend = python-pip
