%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

%SHA256SUM%
22caefd466669e8698230b590e780283b73ead2df8ed151a07980e7b4d462521

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAacACgkQrx0hme8KPM8sxxAA2VgcSkFNKq1pftpbbWFTNuHcPUHaArmRKvJGGgn/B9LH6KpMcNCDcHG9LluZlYKQjpOosNmcMRqBufBPiVWoB1u0IHjZu/Vg/WPUMvG5ducLE0Gp0QwG8W8nZG4WPxyMlVnkkXcEBK/lqdHNEQIJXXQsewOp7p3SAR0Jhhq8GxACdPObmyeVvbPZf+uGZKQNmXXIMafEhmpsXTlu8vccx/Wd+q36gP2bBxFPn+r2mP951vvPtbMvTlC+110rp8qZTohdU7bJSqZj233OzKTk6v7y6MwifefCDL2yNswpTSrU0g+wqeNFBmk8ZHnx8Qz7a+cdV8diLuAAk/YTJV6scr7hcd4E8R3mUlOTjxUiW+/NRLK5etf+PdAxSKygOCYEotulaW3b6FgwiJW2xrVWdR+9t9O3cMqG6X098hBtAVATZtLNZoPnkWFIgYvhUOXhW4YqhrC3HPOEyLzfkGtz8hQv7HTWAllSAcYaMf6HqSdZihZaDXAKWCzIHTTYY0+5+n+3kSilaUk/nkvsv5uRcJPHRPan3haqx36YapR11ScuobfMSbZPHwYYPLt76k4wPzW4WcRVAjyyPuaZYyiUn5RsBPsKSkkUHT86xEoa7p4W/70LlUHLzmksFEbPn3HZPPVTeo9zX7Q1AFiCuiRhB+Q+/9eHlNTGwIHdZROH+kE=

%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

