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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
8123631

%ISIZE%
33082538

%MD5SUM%
9a6b2c08c3ae687f01b444892d0d8513

%SHA256SUM%
6202eb96459eb37da67c6edd7d2a33a0114d3f4a91c240507f5092404c5321f0

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhOyEUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwYIJw//WeOTQh5i0voCfwZWumZeaC2QQV4Zzw7b56z9eBKPv2+DWX6XwZZq23HSXlkwo44UvE/Pyrezp7WvJZRUsSFn1SbGxv0oKYpVHGZVeqJStoh9wxQwwd4acR+K/j5RnBZcwqqW4MPmXxVznMDAQd4dJAKqugXnFG3M0A342uRxiWumiq13yX32+PpdvgieswDLxNCZ/FYE3oz6WU2KSJXWNyVzFU/j0sHUajQiH21N4wRSYWHbc97ufgaN690XSxy/cCJ273c1M/Q0+iNmhEbe9YG4f2g342fI7UNYe+PrHei+jHNOdKTOYOBeP5AdoCxCXYxZDIsHqjsMNa2uzjU2gi1r7O4b4AmXXqfKBHZB1oTVhnenz3vOdoLnpm3o1uhR6H/gFvx4iqM6mouqGcDSQ3T3SoH74zOkpJUWkQI83zqdvUgwkpYIlcPc/qfdSq0xHH+L+o1ySKaknrij9XpfAOrOZBeHVCMc0LW9wbeWgvpd2hbdZyF6VRUVCooVWvKDSMh21XwVR4Kf6DQbml7/lLe6CALKwsH+gBm2e05w2E4++g7HvYcWA3OQ+ecGaaunwv/rhJMXaIEo3/GAL/vQiBoI5DsyBWAulJyM7ti5rVF3T1D7e/+UuNO7xB+eQ8eWGOuv0D+OCBDOwz/83X8740nLLkOLr4KIv07Q9DSyd+0=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1641928835

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%PROVIDES%
libz3
libz3.so=4.8-64

%DEPENDS%
gcc-libs

%MAKEDEPENDS%
cmake
ninja
python
python-setuptools
gcc-libs

