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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
5.3.3-1

%DESC%
High-performance theorem prover

%CSIZE%
301566

%ISIZE%
2830240

%SHA256SUM%
9fc109e749535fbba2bd4dfb9b9ca2c853e0bb387c0bd15d576e553928b58fa1

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmr08rsACgkQ/BtUfI2BcshX2g//TjF1lHlt0TEwVb0OLyR/BT53Pfl2NI+Pv6xhqNCeabQsV7Yn3HZMiuepXe/jDLGy+f6ViZlFzrDcWb3wglihWy03SMh7yx+1pXbuTHTEhxY9cPVHb4SF5u8iU/IElqXf4/jZ9QDRqvV4p2rvChlqcfqhWHHiNBd83cYyxdHH4m4i+83FFpJEmdGDoeq6AvhbKy5oycp8hDCBYry8yarKcbSys0j4LvlbAY0MnWKON4MJ7zVbozkt0ItVD7OlbI2R49uF2a5VWD6e2qy5J9nr5iOuv1toCbjRYwkHOQY+8Ft2gljpKp5XDbNRRNS82tThoceWnYx5FqHiCyGs/y6uARYcJgmJLHdLJRd8L6SWBhgya6z86+AaLLfwwY9VgiJjpnXoJjZl4t7m2i62W9FZuQsieQDbTc1RmyQ66wuQpwNDWTFwRQWbIKIxlGfAHhONMRQE45hSUhYsTN/Ll/IHDVJvnDFqOIDW0r5AdEMux+m9c1M8C2cITiLzdH8DMGBDIK2qnt5klbk9pujfJHGzIhwXqoD60TPX0kza5T+aBqkpvRuHkEqS5/TS4X3qLVEgeE1ZXzpGMznT3BnjRf4rFyOp+b8jd+xSm0bbTjTZBYXQ9+Jh2Vz25EAvntSo+E48HyVYmFARO9Clio1xhVdcwofaEdIRju0ir5rfq8l3KB8=

%URL%
https://github.com/Z3Prover/z3

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1794436495

%PACKAGER%
Levente Polyak <anthraxx@archlinux.org>

%REPLACES%
python-z3

%CONFLICTS%
python-z3

%DEPENDS%
python
z3

%MAKEDEPENDS%
cmake
git
glibc
jdk-openjdk
libgcc
libstdc++
ninja
python
python-build
python-installer
python-setuptools
python-wheel

