%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAboACgkQrx0hme8KPM+5TxAAuZ39MHSSQutFZNu7QMntlKuyvUX4H6XIbjOpt8EVWM9pCO2Cy5FduFuW+CCZ7xybmRDlGy1S3jE887J2g3IkpMMmqhiIUt5oRNYjbFRpvPMRY/9zY+HbjxDWgM9Oomi1HiEfdoit0tmfbvMw2pcraM947YdD8g1WoM7xtWbwpcEky62ojWorGxsGo/B3PctbKzOnmBbUTufOH2GV3fTRTNE7yWndPgHmMdfxFgPCDs2ja/BovdtyBv2Kb32v+Hztd06v9CQqi/9ipLFY47M8xcfKeHeDajqpx3xDbQZrTERmzdUpG98CpuwOChg/GEQ06rQektvht475rY2crdusFDOxvJf/yYum+Pc3b6KVtjcXZsgZ6jhwyL5bWd7XOYZe7hABKsbNrXoG6RW0fN4IHarfhQbqMEX+TC2IeZd/L9K1UxXHnpcAcDRs1qPrfCBZ24f1AkhrGOAkUbTLoOzZHWarZxSpypqDEBSpsQuBcST27qOs/ZyoPk1FZBioV/6ZHHvwY7cgQlQbYL0IRgWVG4n2bLNm0CVKrsachnRcMHCGxxOV16EH2pNskUrtHd0ym9uSSNn32Wd4vkXZWVCws3cwKnG/NcSBOU0cqqrP3MAeFLc1qquGkTiQgTMg1oc/Z2d1XUC3VoPbCKCxDeM5GkgcCcy5gZsGy4BD0HD5580=

%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

