%FILENAME%
python-z3-solver-pep517-4.16.0.0-1-x86_64.pkg.tar.zst

%NAME%
python-z3-solver-pep517

%BASE%
python-z3-solver-pep517

%VERSION%
4.16.0.0-1

%DESC%
An efficient SMT solver library.

%CSIZE%
10931887

%ISIZE%
66272681

%SHA256SUM%
60cc24e4e2384f89660f404ca07b84b8ed8956b3a43e0e456265aff8d69c2d61

%URL%
https://pypi.org/project/z3-solver/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1772311530

%PACKAGER%
Levon Kayan <noptrix@nullsecurity.net>

%CONFLICTS%
python-z3-solver
z3

%PROVIDES%
python-z3-solver
z3

%DEPENDS%
python

%MAKEDEPENDS%
python-build
python-pip

