%FILENAME%
z3-4.11.2-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.11.2-1

%DESC%
High-performance theorem prover

%CSIZE%
12044620

%ISIZE%
43276246

%MD5SUM%
840168825471ace029731dfb88ba7018

%SHA256SUM%
d1f4fb40ceaafe2d82425d6ffb4d86b08b10ab4880438f178825e9348c713a42

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMeP8gACgkQdxk/FSvb5qa64g//brSj/rnuUMwymLhBiAP0pchIr34AsbTLFYOjcQpF4GPktWK9DaWl3nWckZjL+21A7ynh18n5259tlY17lr8qeD2VqqYOMRgnv2FqjezvWvC8cSOvNJObjt/+cy41T9vpLT+HdP7aQdp9UHo6dsVVte/oIDz7AicUIDf+4qeIegB9/q4x8C+mipmJ5CmiNHEnc0uymouGCRN1KO0lrB8Yjle3NJDuwNs/p9hTcY3SGmgQubiK+HXf8yjE61kif/NC6icB3FcX7rpNyaQ5kTTKlPyeckI8XF6yD7fIe7Thrkhtg+7XucmWnKirpjCUCCykcxgHcgcvGXzejxgrc5B5DKvMfkPSlM46/aGq+zPZ1vknelmuav8Bdmg0XiA37u0cm32whWvF/5j9ds15QHlbmAj0+PC6osD9EQthEOdixwsE95ur4B9km5cBDrK+DAB2tHTN6zqrfh5yjtT6K8Zrnn0r5Kvndnl1sD8Dubun+NbbjptHGiKPOLrsM7obPHBFdwe+V1g58ZCSoP+uyund/13dX5bqbsRep/FxUYM3kGSsnHf+x+7wQkKSMZPvvpQ00RrDzJwhbu8zQNtFw0AqX83TjcvSAZobbK0Fx7pJoIwfi4dut6oNBBNLYsH5ulKyRaA/tSy8ZU3iPmWSU+YUdeONiJYHm3TeTw24CkmgIVM=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1662926003

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

