%FILENAME%
python2-z3-4.8.5-1-x86_64.pkg.tar.xz

%NAME%
python2-z3

%BASE%
python2-z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover.

%CSIZE%
165360

%ISIZE%
2037760

%MD5SUM%
0a15a661514da00950ba315b02e18749

%SHA256SUM%
1c0be63574f03eb0c64d8756fa4e643cf8b8c16197817ba58b5e15f421a4c198

%PGPSIG%
iQIzBAABCAAdFiEE+abminETVNhKm5FjdTO6/mmiUHkFAl0MFRkACgkQdTO6/mmiUHkgpA//TIWFLkgq0ffJ1KA/O0STE1+RNOMdSFKrPFgzkP60dHW2Ph0fwwomcVxZYEGW5g64V14kcPYUqajqEChd4OL4lh9ZeFB+d4576QqMYH760vgJtBD+2yUBWSRvutEbGZUdJXZGo44cBoCzLsnyBJ04g6lxb8CNqsDziW4YHOkYZGGQrbEnQrbx/ebHwocGDwF+59YJX+g0dJy7HcvwNm3Gim9/LrUjJsIN1loghEe1AVOer3MgydCfueJyvgXhypyl5rixa206IQ5sdIFAGulOJw92n116Qrc0KqyT0za6harpNKXhtjp/Ott/DHCT7/ZgTaxm4oqpTMGWeilTCFIHdfp6ANBi5UpnL3QrSLPYB9pFPWiTPW78Dg85EpjVsBZaMjbc91CJPJ33vVRC2h6NekbIdbevthOl0+3pRbrEbqL+YWsN0OgdGNdgHBE3VlOB0O5vfXy50PiNIGRj2LeHb2V+8ImQzOYsv55RpgOWFxDbivxV8fECVhH1F1lJ6PUl7QS6W4KGc2ue6EBGRZR0YctTqc8qRmheJAC0NvgPwwdAnksxylt9OVV0UycuhksveJS9F5Nd61EDC/0z0uyqzIAbwysOBhoa9Ncl/sMV4YzOTwzXdJ9S0ZkpGN8MOchyyAdjRELFPemh6pmfLrTzh6O+hKG5VsA/AHInAsEPF+A=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1561071282

%PACKAGER%
Levon Kayan <noptrix@nullsecurity.net>

%DEPENDS%
python2
libz3

%MAKEDEPENDS%
cmake
python2
python2-setuptools
gcc-libs
gmp

