%FILENAME%
z3-4.16.0-1.1-x86_64_v3.pkg.tar.zst

%NAME%
z3

%BASE%
z3

%VERSION%
4.16.0-1.1

%DESC%
High-performance theorem prover

%CSIZE%
10263396

%ISIZE%
39912983

%SHA256SUM%
c273c0af3eeba07fb46f9873d74804ec7ec60ea7f3891845de4f08864309cffb

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmnKqOQACgkQ87YHSI2zWkcBgAv/c/IQL2MhiorrlwPYibhRObFr0BFUhKgC8fd8DOFN+zyE253hgdHPz6MH0plcPd+KPbHnJEabxOnX6RinJBFv3olW7JiiiQxzX798ihzMXywAi0adFjrNmskgqhu0pCrkbd6brVrKQeIY5k3HJdJR79a/D7AcpyBfnu4+B4ZVCeBQffd7WbYaIIiIQ5ucJaQx5OZpiqe12aQYLyj/3oXWrEI3H9KY/3T5KG6HacPQlsEfZV8NMorpcfGXGUP4DBxPuQld+4PBYf8jlj3VBYCFVZVy8uYfowPjNUCOxf/9ASS6iSVRmrdbYNyQUoQsaLb4+UNCUYeRAjK1BMd+ossvvGG+BdnLCprUN9fjycGz0/2p8SSLf20XwUlnddc5HT3F5jcw3KZK851q4yIPp2EHQcvgLL41wtBHGZ1AWWyXTYRF0AXV87LSiDV7eeVWThKHf/4y8+xbr+GuRFtKjRwFmzX0SuwsPdYmOs0c/yMUwZBk5jLu0N//g0w+VJ5da3sK

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

%LICENSE%
MIT

%ARCH%
x86_64_v3

%BUILDDATE%
1774888552

%PACKAGER%
CachyOS <admin@cachyos.org>

%PROVIDES%
libz3
libz3.so=4.16-64

%DEPENDS%
libgcc
libstdc++
glibc

%MAKEDEPENDS%
cmake
git
glibc
jdk-openjdk
libgcc
libstdc++
ninja
python
python-build
python-installer
python-setuptools
python-wheel

