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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
198366

%ISIZE%
1702871

%MD5SUM%
1171517662894166aeda45e1f7b3c4bb

%SHA256SUM%
fade9721d2c75bdbe09e33ac00dfda1f265d3affd476aec27b2562fe43cbf034

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhONwUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwabPRAAoXTELwX0sWw4t8RBTtBdB7jEyHcEm+h+bLDBnGn2Px/hVDf0eLNf+27au3hNBuJpjSv4GBPiGOu3uZqAMfJ+veDu6y5mWBj0Eqih0muxXTBHv7wlEKJ1/e11Bjduf1ztMx0iGvc0UwjGbEfuOGlzKzN3e20KX1QK8ctn/VmhAC3nk+LG8M1w7lZO9BYXRzowt9CSP0LPqoaVsQ4POLxOioj7NqgoU+bYPNY4XzPhu4c3k7iyQXF8j7hNNMbcL+WCea6GYx6BmOcPk/+0sk5b9pARNnNzWweZxapig7ApiZkzcPY4SILdVxwyath//GB84o7W+DnipSlP3eg1OTNl75GTTAAiE/rG4OJdAdKQDy/mXE3lGHPP/g8Owr3g6QxAFSLfhdZpNbTNJQUPQ+BKvAYX4dFJMO1E1ULGRX/Io1nk6Nax6uUY2jshGOttAPObRZ5yCbPa0xsPihyswGP2FWUGcB46oqCCV/lISlO1+r1sltpSyBVJwog80X0kblSGbKTJ0ozpOR8mmi/9hSbZYL9VQ74aaRN/YDy3lnDUkmv3re0Ubh/rGvT1cga3I4EBpCzcMDMP/ut5WkWdUbRoeaoMxV2xHZ7ot7UjJKctDOqtj44Dy6JAi/PaLrC4VH3jkpP/+52evVzfr2rX1ss03qcEzZnKs6W2v2WwhVChIFI=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1641928835

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

%DEPENDS%
python
z3

%MAKEDEPENDS%
cmake
ninja
python
python-setuptools
gcc-libs

