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

%NAME%
z3

%BASE%
z3

%VERSION%
4.16.0-1

%DESC%
High-performance theorem prover

%CSIZE%
10045716

%ISIZE%
39736855

%SHA256SUM%
c0d7cca33ba0e94426679d8d26361c53e589f6b80b36ae6d0722d30e45a44221

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn38QACgkQrx0hme8KPM+akA//TJJU2ta4OQC2hbarB61/8Y7sYUWrRVAKy9oTjK2e+0iT56xrnTMyuAPAvRGRP06vZItc8BcdgQP0ZUr43gm6tgSCvJ52Pm33mISTCo1AtVffYTkPcU+nzjfrDmjjpNReUNePHcNH4bm05hkamIDwkUmpaKV9vI7zKJgOJG6F70/pQ1SowNKS/gifTzp3u0GIhfBznT+MWpT/bjL23G4+MMVBa40k33R/aGCAXJYlQfYhOe1SLr+NAzb0kMtAh9VVS2DzkelbWSK9kEpSMZHF6la1L4tbroQxFBIva3rga4bjGm1YmFaBkX0z3t3yOZoWZEzO7ofPE/+xNFCKDsxEpez+FwrSnI5ttVbtRTkXl/0pkvYQqLBGbePGPk2mYxrPfzoZaYTOhaDRfxGSq3Fu6ryPf1JPLMpGTJ+bIHFsiygljgY53aKYjg0Tv1v7SdTwC0OwfYTb+WyIqzNpBeMXUpP2IBIn4MrJ9EHh4kelaR3OzyQO0ZloEbiiDXnRKLMOFxE3od2sDR8TRSmHZexFjaAzyDtY0tir5ifqLNrGNuk5UmFY8+lrSUpPfTtxaoU7mQoAxO6Pw5/HsISSmmGCZGvyHoZhBsz558x/kniA8DgwYeHM4kOQHt/GnP2p6zh//Zlhgt8sJu9SXrJ3M+DHlTV9tcqicgyH+1eZ9fOJJ7w=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774656956

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

%PROVIDES%
libz3
libz3.so=4.16-64

%DEPENDS%
libgcc
libstdc++
glibc

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

