%FILENAME%
z3-java-4.15.4-2.1-x86_64_v4.pkg.tar.zst

%NAME%
z3-java

%BASE%
z3

%VERSION%
4.15.4-2.1

%DESC%
High-performance theorem prover

%CSIZE%
225349

%ISIZE%
418814

%SHA256SUM%
c462e0f3f1e04c731fe384dcfbb6d280b47c1b8b3f18bfc93080f652d03409ce

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmlv+zMACgkQ87YHSI2zWkf72Av+Ole6RBuQ4UYEeZJuEf1W3uzZPYhkP4r7UH+OhcPnKf9m7lr1h/3M4tI1L1BpiWajUbxPQMaCP8f8KnCyP+7/QmLhmre6aLq55z/U6r8VLvmBjaFJYR3Vi2U32h/8hi4Rlkt/pG+Gu+M1+5cEMrOEL4pPdyskwmRG9X1NatOdpesdFaPMRg3fxUHQ/R3tiYIDc7AvxY2IDHtrRugUw9xOzjuv0fD7TggU4VcZULBrpQUA6NJNFC/dcYPaWz1FjIEIlvPSjJhn6Y/ZKlozumAWHSdPN9JfgXLEmgCGWx5RUZXA2AWp8sZlqE8XVKVF/77zj54UAqfkpGH93wUlfDROJJFbd1hJAJM1igLivMB1S8j9vqNOlPb36gdordbBbMt+TRNYk9zn9AeLuL75XCr6kq8CszG0AXbyhh5YvVtksBBgVbVolg6vYYkZN76sfUfxPdvZURWCUPvBJioTuUYt1jT4wg2fWdpvCceQfvzxfa52vJ78v0+KpF7t/ABDzFs+

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

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1768945982

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
gcc-libs
glibc
java-runtime
z3

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

