%FILENAME%
python-z3-solver-pep517-4.16.0.0-1-aarch64.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%
29604778

%ISIZE%
62701514

%SHA256SUM%
324dc966cf4c99b1ec5015627f0c9b0fc040f288f3273aafaac3e8d6eed91f1d

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1772312374

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

%CONFLICTS%
python-z3-solver
z3

%PROVIDES%
python-z3-solver
z3

%DEPENDS%
python

%MAKEDEPENDS%
python-build
python-pip

