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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.16.0-1

%DESC%
High-performance theorem prover

%CSIZE%
283331

%ISIZE%
2678989

%MD5SUM%
3db5c32169eb6f0bf21d9d966221db3f

%SHA256SUM%
22caefd466669e8698230b590e780283b73ead2df8ed151a07980e7b4d462521

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmnHvwcACgkQ/BtUfI2BcsiVHA//WJNdEDos3ok0Ts0pyEF8QLC2lgu5ygYUmpGC8lWqmhS2LD7mqetl0RTJtQRp+j4rH7zyuC878RaCKaCSIoXWhZB7Fc1BCbT5BOUwyoaVeSQyLExmBqt1IOO2yv3aRmkaJnjrOFdezzVSOqGbe31X5MUc0QntoP5AoNWrRC5fR/52xWT5PctJUaOplXgRddTE4woVBm8V+/XkusyO0Yqxw/rgkYLDz/HNId6PwZRBuOmD1lr5/W4v1yLjO59isCdiX2aFe18qkXP8ujzuYEpGX+kY+UxKYgyD8R6nkV+SEjlOk+raz2aMTnBKZdV3zx28aJPz957RXK/+M7R2ZiJRek/o/xW47PWWIF3L636KR9FPgiQf+0pA8x2wPMcQ8mzYPQnQ7PJ8Ku3/iXaqqDMcp1QT1PIwlH5z3n6SkY5GF7z6ltzLotHQW77nD90gO8UENcXvFk1d53fJvQI1TXMHRFr7atUCDdFdljBNzBmp8CdFBFsm0oQJWqk0sNsnrkUKYBF2R6RAIOQ9POB/FD8/nE03rLE3USqeZv78SMJPXa766qbMvsuOjVTYoSK6WSabAdGarULwr1vhdRWI+bF9hN1gRu0f1e0bEgTIMoNN5Ru0OdvqzFR9xlUJIYGMk4/6vzuiNMlS6ZF6PXCPwOYTx2+jrmmLEutVNBt+Xxegp9w=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774656956

%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

