%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%
10151813

%ISIZE%
39724415

%SHA256SUM%
5e491e4a4d1a278ce0247d66889e3bcd9aaca50ffb1d62379f4c7512e2f1e358

%PGPSIG%
iQIzBAABCgAdFiEECj62uxQsVmUzAEIMEkfZlfFlu6wFAmnJs5YACgkQEkfZlfFlu6w02g//YtDtN1O27gB9EhBoYKFV1qUp1r76w9+qGDhT+YXAK5jK0bkEDA1WqNlFZZ9RvpB8VBYXgmFaBXYoqcCCnbG9FzZLT51XiY3BHMshoe5dE2h/7Ka2+AiSzlWf2BFg648OvVUODtVQuggvGGqZxnpnf8Aii26VUeY5N4cI0tmICxZrTW70SsFczvY/9Sim431xmfVCrovQ7SQ69GQp06kGv+w1LnU+phymKsYrhNpkHrOyLCYbW31PHifyxaeeeatKUH/2uUZK/UqC4ZcwT7KljW7js6UaW2j81SPdtcb+E6KqK3g9MUoeIP1PGk0UQt6c5YHtQU+G6MauM1V4S74UzUGPtqC2TlS7Yt0rEowfN0VKz9khOUoEnCqSCObreDJsyBk7P9hASk+kdLaISDe9sa4hOr3JiLVSULCpWSvVyBdGOi8mpI8hp0WTIUz9FGMUvgRCnbNk/EiDzxOZGb46MSfSpxZP7jY/lDNsGI4td2mBgW/oFngg3Ew25pw8UqDxKRYS/0ouDoJXnzbX30QgFNdj75hKSvPN+NTU+pnT4x2f+GV4osIrlVPqMyLLSU69nu56mpRQVPTiq5pNNy8TFVwAsdRr4chOf0+7pQuPDQUkrnSycSFpdVPsoQqU6X0KkfAm/iNz4Inrmx1eiVmRJQHY2pD4s/P+UzOp7OBytOI=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774825855

%PACKAGER%
LemonPie <lemonpie@artixlinux.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

