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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.10-1

%DESC%
High-performance theorem prover

%CSIZE%
190482

%ISIZE%
1766445

%MD5SUM%
82ac4186bcafbe16e722f6f45a9e0b39

%SHA256SUM%
0c9532ac5deadfcb8042a85ec2dfae87ca0cb73bc13a47b6ca4025f38800f81d

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmALEzAACgkQeGxj8zDXy5JeAw//S3qL/PEtgJaV7NHsX/guxkURjwrmTM7ujXYY+zfNgJ3Lz2+D29N2hJL/qIKOITHtQAnxSjcYN7QEaf7zvbkuCTqVHKFewrkKQxE4PC4RFI0b/piXHel3pqGgQ4ETzwQWwUoE0pIFuG9uJg4BBMSJZNeIqkUxh4Rz06g6dNmB9D2sggHesq/RX/wUxZLwQd2z6b5RPzS3sLXhEpwjHhoyLCcMRqP20jqdvNxLYla9pioE9qXxayLlXE/TGfPA964uwemhkKXn0VCpW67TXFZnSVlrAszUBcWJqcjCS9/mnW/osIj8WTTbKgO9QQmvi3xr5iNRTLO7tPqYiX5Ojo4+4XsJq8Zkb6Sfl35j3CDHno0Z6FSwSrUaqGegKTVfik4HlpL30m1jO+KohUr0v8q0VRMqRBETcnAGS8V2hBdxaYBRkQ+8qkrVbCAdOaktfCQtWVpMH4O/zNysA7GzGekfpXE/9sJbik1yeh+MuaIvhaYHibyxa1cFS0jEuzs3fcHn6OGVepPVc6gh9bjO5SAVVAOwhq8S7ecrAPAG5MPAgpydysWbNSqG9Rxs4hG39BsSDDSF+el0F6MBKD3npTN2Rqp//LkI0r05+iGTBpsMOxZY397ueKBg4fmt86KaSjIII0xDuZgAqjj+qxTXbKVzD/dQmggc7YJTGn219kDVobI=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1611338310

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

%DEPENDS%
python
z3

%MAKEDEPENDS%
cmake
python
python-setuptools
gcc-libs

