%FILENAME%
z3-codeplex-4.5.0-2-i686.pkg.tar.xz

%NAME%
z3-codeplex

%VERSION%
4.5.0-2

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

%CSIZE%
11376620

%ISIZE%
39587840

%MD5SUM%
d5260b169cc8e5626d30e76dd8f83549

%SHA256SUM%
0ba677ed0bd434fd388b1772cfb79e8c3e6904939e32617bdd1a1a94b573a8c3

%PGPSIG%
iQIzBAABCAAdFiEEnV8cBR0UaEPNpIWL3mSCXny8DVEFAljU/E8ACgkQ3mSCXny8DVGlMRAAx08TvY15IkO7sjIUWisE7JHqTcbV07zRVDkQXfbntjYDUAqELjrSrHd7H9Y9UHML2vbWQ08l2FJPcn7IQzawrhLBmzm6EIEyq7sbKBIUVAQARJOE1qleZwJVkHqbBh0wR8MK8cmYmrpdNDAmXI4Lah3vuIavSy1Fo+FIQFuxity59IVEzqSqmkvzK/mhw3F/TkYzswRVAmRnE9eW7IIR6wvnTw1ciWN3FiETJdnAkJtrHmUESJdNBqNAU+gr0LXceLPkRFsviaKyrV60VSGFJxnWyPwojopO3bT8Qj6Y8HYnkXWfcxpXF5xTMi/TMQxuTJTvwK2h96vErStcHUuvDTC2KzSUSv6MyPxIs6KBwUsmkKcVWTfLkw3Luc+AR8H4z5D5D5ypCV9lw6FRyjO3sSOPMAJm8+7ENXyqBQeg/f/QO5YqUCcTWe6t0No2ecLHzSO+L+B26wGTWLwefwr3l77mdujWwUH2AHz06H+3gXnOQtgz9qbhddn9u38ZuFZMVvoPzGJlK/PyTUU0IqeSCPVuiND5MGIYCB9sZVfxH0SfLxDfXsKb0iyqZEGRogIqTDnQAn+3sj/g1WOTrY6+6r0gUIRAKIHjjybizGm1QR9mhpUxG0MUWtiB8YPoxyUKhYb+Mq3zFW1n1ldCK8O54siHJPp3D8QEjHxxTaURJVU=

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

%LICENSE%
custom

%ARCH%
i686

%BUILDDATE%
1490353200

%PACKAGER%
Kevin MacMartin <prurigro@archstrike.org>

%DEPENDS%
gcc-libs

%MAKEDEPENDS%
python2
cmake

