%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmQw3oUACgkQeGxj8zDXy5J10A//X+lkAdGm5uoGmfnhCSMP6Li7tLMlr1kjYFpWGU5MqOzVv1jdNJc5fCoIS0zgDZDMd6hkN+wQI45cwshZruUvTdVhe+OcGNLLCk9YPhmn7ivXndSSO3WbrL19k0iebBVse/j+ufMnYpclvz95/sJpyDepXH4B2nYQzMKTbI/mxdUr9i32CcTtwAtG09szbVT2OOgUB59aPZiTaCpFppgUWlh9X7HVWtMR/OxYi+v6+UxdNAs3dAxolhrF/wvs5gE8UJaP95CbrcTKPWyzKgPZFLSvLVODnqGr+MVtdK2eu4+BXFswSBYrteTIDTLLtrHJzwCV41ZTsYckJyu8q4rgZKqVtOrdVY1mE+Zc/JnvTvfL+l8Qu0XHC7Ip5pYwrBC9wPqWG257KLRAfp7mUDiiSCfCo5ABH2BJ4Dsief8AuUu/gtbuikJgjRRNR/5KG29PTDCRA244EAOWb+SF2SPfxJ0lo6TMaVozUOE7EcLSOIl1+v3jiljmIaOLZmhIcyUkC2WaajqhFqW3lfBAeKmImBrU6x7XbPAjqxE5LGu6csEW0VJkgJzKXD4TtOOSjnWlehkB02bHSIlU1YiZhpmgM3nI8wFuF1r6DwamyMpExNsUZDNuz6L5RjDb9wSRdFmW9DdZL/D/0CYR2/TZvOsUkG6B1HGta8Q78XOC66wVHyA=

%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

