%FILENAME%
z3-4.15.1-1.1-x86_64_v4.pkg.tar.zst

%NAME%
z3

%BASE%
z3

%VERSION%
4.15.1-1.1

%DESC%
High-performance theorem prover

%CSIZE%
10263308

%ISIZE%
40797535

%SHA256SUM%
d067ee36c44892fd035d7e395923af02d16b22e7600d316b882ed96f413117e2

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmhOxgQACgkQ87YHSI2zWkfJ0wv+PfEKGz9Y461Y0CYcBIya6f9wxuVclsU4gwq48LY0XTrSiJzYF9eNhH/HHIox7KkAlHZU+PF7emX0mBn8H7f9jDPzzw84FzRcI52EUeN88uY/y2V8cECtAjkmM/kzOe1bEuV2Htf1PhkviBa0fUryE+0nC50bWlqndv60B4WGopEX1dFZhZv0uICzp07cmkCPSTKmpujmtxqIZ46zmHhqFLG7B6CI5VgSQv62x0YqZjvMIw40VVSIkjHQlsN5T8hYfiSDFUyihxaSVG6qPhpqYy8k9bDuAmv3gbyw6vgUeWuQkQvg27AcBxIXYhznQzSsnSDIzjKvQKX41bAHRLa/aY5imPsYCDHdGtQGE/If+349p9hdtfUyu1YLSu7Vg8hvWOPOzAy7da63xOo9gj4ShROgDza9wfV6c3uJKWUmcE1OdX/ZOAaF+VSIRNNYU9i4gsByYlJ5dm+GHEgmwZDGnEbP87ZhlCrmWD1HvZsTIMmwZ1UXsMsoBSsTYJpzJKsk

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

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1749992571

%PACKAGER%
CachyOS <admin@cachyos.org>

%PROVIDES%
libz3
libz3.so=4.15-64

%DEPENDS%
gcc-libs
glibc

%MAKEDEPENDS%
cmake
gcc-libs
git
glibc
ninja
python
python-build
python-installer
python-setuptools
python-wheel

