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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.10-1

%DESC%
High-performance theorem prover

%CSIZE%
8714966

%ISIZE%
35117557

%MD5SUM%
d16926ae9081c1c0599fa599f5915358

%SHA256SUM%
704d9dc81f4039aabed1127a262bf105dadca1eeb43aea19d2ce6237f895d141

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmALEy8ACgkQeGxj8zDXy5LoOA//eVDDnQf4TFgir2ZijcO8Db6lB0y2kdc559cwMrr7vXCte09uiYq6Ni8z4Fe6FFqmsaTcX3SHkZR2VLgO87R0AXgC79R/ijuh6CgJGHNvL9BlR/cL2xciv/YT4XsnmiDDtesZ6GELrD/4/QYZJ+AlcmdStbYnv0vLkow2F5Ht9JjaB2ngrswTPtFGRHrxfyqs45Fie7D70HDWhiaJc3T3H1tKdSFIZTDJu8fLqy7nxsxOEe6ElRb9haymCugV9VgEsIkYiEXQx4+Tl7cqZmSLGo629b/ceN9+Lf9WiHfIrlxCAx+e4+S7uRj2IoixTlU/z4IWWq+dDxATN1MvqpA4l6LKc6UHGRfr6VDKyEfkgs1R7cQDBzrIv9L44i02LyUCE3ULcX6HffSq6crrLQMLL4w+99Gn2k9ddo00o6jb88o4ytiaPr2D5Ltd5icNp6mavJaUU4OLL3vou1GzDRHRStfN9AJtd9sj1+pT4LxZ5+pzIAJey0vQRLXdekGKwr+lD8VlxQ216iDpjsRuOcpjsfVLMjpX3cbn4NMdoJDjAOtJej6onvqD8YvcLCJdL/ALY1w7H2Lf62CnfBs3McoyTuCEf7Rfqd03wHy8ZRIKV8cA7XYn258rATQm0zc52Wx9RcuMb/OdMqecS8c0pufqikDTg/VO5Hdpi6iyymt93fI=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1611338310

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

%PROVIDES%
libz3
libz3.so=4.8-64

%DEPENDS%
gcc-libs

%MAKEDEPENDS%
cmake
python
python-setuptools
gcc-libs

