%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%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmdsb0IACgkQek52CV2KUuRQKgf/XXHv6ruHtmPOU00uIJHijus63JAYHHAmhKjXMnbfbZtgSodbGyDll3mgGLAZF863p3aeYHk9G0gfbz05PRxTr4q1k5TilU1ezBzOSW6Dw4hihAbcWoepxzajhNyZ/bgNZnzmbdijvIu7ZB3T5WIr9nTie6NhrkeiZIQadk8rok0hxQw7ehMV0tYJvlsghMkeurHrho/Nq293DRX0PpPjbLpSZV4tgzPjHY9Za5u/j0dF5vSkdd/EtuZb9XK8DnXKZWBTPfsXgudmkrNOiwMYznp/uwlXBmal83MJFPvpFfy3z+z5XmhjgXM9ONkDIF60DTFkd4n4m7PtdGsye7d5fA==

%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

