%FILENAME%
python-z3-4.8.8-1-arm.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.8-1

%DESC%
High-performance theorem prover

%CSIZE%
174820

%ISIZE%
1739773

%MD5SUM%
84696dcd5d5d974d59033f8e8ca1b7b5

%SHA256SUM%
d2d08903e8a2775ed6ca7e6933b7bb0f9e0ec7cbc1ddada4ee6c70d994a4f1c5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl64fv8ACgkQdxk/FSvb5qaFDA//ZSL7DUKYItydUZq9bGyobaxClpsTcVhSpWcuwYdOzQ4hK7piqHYU6MzOAjQZpwyAhCJvGON49/hobivBzPZiBcow71j8Eam0YrJBY9SaLsZZwos5J7e6HJlQB6FxzB+fySXXtoRwPalNXl5yAWq4KmFO3XENCOd4xR4vflh2pjqEyotCn1g6mlrU8PiDunRUUpitxTtf83YehpiASHoNiQCpzkryDcGrV3c5DljUWgB7XcRahHjIkukbZADkb4r7Macqodt/zw2lpqAaEpCgwSYnxjaTtgvt5nhYIEIQ9m6wbKdK8c9TEbHetebxKIjzloxnTRsl9JyL7CUZwMcEwu0CMzpzp+iWHkr2RbmpIqIwTGe2k6WUeKtndmTAgyeOEy/eukidfym9v27zbv55DfIgsuNk93EkioedVKaI4iToBDx3bJ/Faxf2gzKjeQYNIlyJmNDjeGyT4K2qVIaFEXeD+pm7L+dyaePuiCKaRd4zSetqjy4zcB+QKbvdy5RCacDR4/7mH59+sc7iNZQMRq2OPOAQITK3cixhz5R9Y4FIzWcoqQtuPQDbNmk4Z/iuufc03IHS0nd5U6843+p7m+LWGzRaW0q0jyZs5x5jSGmv+cLCRkTIJLSYg0pT4Uu6duEZAEaB1+3be5kuFbTn5G50QEYYRHY7m/smWPsBDug=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1589149012

%PACKAGER%
Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>

