%FILENAME%
z3-4.12.1-2-x86_64.pkg.tar.zst

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.1-2

%DESC%
High-performance theorem prover

%CSIZE%
8622932

%ISIZE%
34291096

%MD5SUM%
f8de8795e2356fba9f41bdfde6198d0a

%SHA256SUM%
def45cbdd93756d168a75ef2a1124880a39456f1fd6c29acd14219f616d11847

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CuYACgkQrx0hme8KPM9mtQ//X3iiBMlHTSDgQSO85AL3qXOKf1OAfgIR+dAyd+kJU+8FZUhg7ta8GpRoji9NjN/vdmkW+kz982kB2KcTPafvW8XnPuKxEEpzfYDLzSH9ZQb9ATvo9uKJ1Mv/NFvxrmptuUlL9eb3wuGHyAQjoYL+8+be7jpZ1TwEQNmG1AMaOihBUmKJPVNHQ/siK2SAMyJXroUedxhil/bqyV+I7tSeNeV6sKlvHFS9tMGhfrCRkt2kAM7Xr3sZJwwImgS3eM5mMO1qYlzqjIe1QRRfqrn5vF6tkRuWVx85Jgl28N1E9QWUmaS2qT+iK7GrS8NwoZkjuQD3Vs3eDtLIfO+BB4kK7NiKZxdog9HE+xqy1CqNQGiaeqEaF8hq0DEXJ4yzk3d042LlX3ezUkLHc/J4/GVIlO2aBg5ZaShD2rPS5XReGkXS0nGsDY5d9EUdFKP1r4IlCZJ3AHVVHz3pq31NrIcFwUvBsmU02dD/NhmEAqUG7osohMW9pR7G+3regESPujDAai6pGQ3ZkvneTIG4oyRRhzFIxxxDqxrrTktoehfDXKp6CUwExLgqrFQvOeNsPXTkqbCmUYDm6StAIrVNI0nlGHBYCKstFWqXBboxuPmWsAesWvpVPOb+XPan+vWMoVLH2d3VMVWm9EqkcdncttqQtllnSzhDiDSlqU2KXWyQ5YA=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1680923993

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%PROVIDES%
libz3
libz3.so=4.12-64

%DEPENDS%
glibc
gcc-libs

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

