%FILENAME%
z3-codeplex-4.5.0-1-x86_64.pkg.tar.xz

%NAME%
z3-codeplex

%VERSION%
4.5.0-1

%DESC%
Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Codeplex sources, libraries only)

%CSIZE%
11247952

%ISIZE%
37818368

%MD5SUM%
46360166fb6de171c9e75e49c37fe28a

%SHA256SUM%
638ade5ef0b672e7537acbb1ac1c331557ba71639f9c95088fc8f99cb9c65c26

%PGPSIG%
iQIcBAABCAAGBQJYSM7/AAoJEN9yCfO4TBsvqYcP/0YFx/Bmtgke8xDdo8TJ85qhOEGixH9ZKotLfWTXg4cWtbMHn5kZRxjv3m7d7c0xp1kC0j6nFrag+5zuFg08T28Tpj5A5s7+7geV7R13RY0jJtknYlktnWhWzBPTGNsBr/GZJO6oLIkT/n9nPOPknbr53tkl+ssPPjAkSHmupxGXVP2v30FpiU/MLon/AZz0WPl5Kr7Sr7PhurDY25DJtexgVUpbdA8yZHaW86K4tvDoSvOsd1r1h+dx0nW6+dQ7K24uZjxr8Qrd3xEdaLySeyssnROXaJWrKgdQsIG3dK7+Osya7QoVkkn+vRlQDPIsnqyNNoEneySkr8meQBCighF0C4VVeQxP4+if3NgMtrEn6Lth47x6Si61yyy1w9mWztvybQBqUJAaceRaGssAI6O4B6PiO5BjxlkjnIJanM/Itw5VbmIiyx21C2KACOOvGlAlBmAB8qFVCGGCwWTgVGHdvtHDv4Naye4LvNplT0c3kcPNLB6/HmHu3MqFUZco0V0L6qlZDUultcJz2mqzpZ7ejzAOHzFxkJBVTubHcTdOFHyxTOyDeeCZqkpSCD53bJRk8FUdNuEez68pHNBHjABz1eGhrCCbCGnT4BH+15dXbgnKzU9aZrtAn5+gNLBzwEsMviVmEouMujKX6wjHwBYQcLNTTghtaS9Qb8A6tYQe

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1481166553

%PACKAGER%
Tyler Bennett <arch3y@archstrike.org>

%DEPENDS%
gcc-libs-multilib

%MAKEDEPENDS%
python2
cmake

