%FILENAME%
z3-4.13.4-1-x86_64.pkg.tar.zst

%NAME%
z3

%BASE%
z3

%VERSION%
4.13.4-1

%DESC%
High-performance theorem prover

%CSIZE%
9415856

%ISIZE%
37570907

%SHA256SUM%
47f2cdb1df2a8ecc4edb309cc676374c124d5ecd034bcdf4c70ee3d2f9c086f4

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOsUACgkQrx0hme8KPM+DJBAAuQntPZqM9Q4MGf2vs6mqLqfkv27JXGH/wQHrt9oUHAYiO5HTytezZBwkHAdWZ0lOw8Ty/jKuAU+sWg0hveZZLF5eSpsYDWdJyqIqgOxSqUGxfmRPJ0+EKPWhUq3pW9Wp3Dl9bAMFkxUEciaqlJnDq9gFHG3n6O1XWxYyNdttLvFtX9roF6iRV33E921l5jBO3mu40Tw6kv/24diu5ff40TMpL8iEkA9uTd0fPtHhETDoa/ORQAAPberBqfce/Ap6JbVTEDFBaUps9h9QHp+uIe4Zk630Kyy/w13DE11zjVAg11hUWd9QcMKCjUsfsHzS2RbMc8SKbk/egmTMLwWiE6h3S42qEvl3+aYMW+klNtWqx/zMMIstvUwgnVSwB1NK6LS18+m0Gla/rh40/vm31aO0HSEucC+EgqjVHcAxpLvOMz+Tehn4VyXyjVWqA1muLhmGB7hcUY12AvoyLbrpN2wSSWyJnKqM1tYdM5JACCnZXJUqC0VZ6mJe5aRyJeQw/CgjEBsFNrmnIBW8VOxAntc+btukkoBZmvcMUTzKlPIyilYCeH4c9MPQgvK4kPmDYaYuvWgOpPq1De2JMuU2ywcs+MprnGLeCDq/Ee1XfCPkNO6H7Rja2pVvDwYYyCF3o/aXYgJ/jXxVtAIEMh3KJTwhAIxdWMIlQGyyNrgsM2w=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1735159344

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%PROVIDES%
libz3
libz3.so=4.13-64

%DEPENDS%
glibc
gcc-libs

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

