%FILENAME%
python-z3-4.8.12-1-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.12-1

%DESC%
High-performance theorem prover

%CSIZE%
174532

%ISIZE%
1774283

%MD5SUM%
8562a04ae1d2abe094010cb415cfcff8

%SHA256SUM%
e34e9881562b6407a397fb1c534c7c9fd4fa1d9674332973f03429a550933107

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDx3J8ACgkQdxk/FSvb5qYPFQ//X0gR83NlGIYuA/wUhAdXcV0bb8DDJA1HNvDPjV4fVQ71+ednPM1OVhODXFLfS3Uc/+YCZwOvuUNY0fK0Doq9Bi06HZazS2yKY4V8htacrVQZtF/ZHITwSqV+IwGBArX2gJ8l4Xvy1+qncZrVr00z2j+/W9lLCzxFBbYe5MVhaXNQJipRT8m4mbJehCQrOx5zVlVeeGnwou6gwLC0cPihLijHSjvYnQKUHOCRkXj+MVZsZrmtRdGHW0cH+e0fPLEjYmiiGamrY6cH4YK2buUKb8X1JUUuD1qMjXLMzG5P4Ci4w6/HhbLGiOaOgZoOcoLh1MqLZOWrAzlRwEwdcLC5ikJinjRrBhHauvhZXT8RKJUPVTyMMUuElbwA3JwIhu6zOidMKTlyN/TUTE1FQyn2Jt3esfY9QDahSMK1BQZeQ/UfrYsdjMHjWkAqqnAWFp6X8D6/CMBEa+VOuMeKIgraCGOoB8J6jWmEqvSDSgZaPd2l3yVqKJsaTdV4mChRrEm9+YzbosxHMqFJLkVI/8tsUi3Y3qcSM56fackAd4F668dhgoee0uDedWWySegcCh4joV+HxP2w1YdXFdd3yaHG/GCpDrTRwN7kv3cUMDEEAFNCfpk4v18c4/MUD6VeFKNqtaI2wJGQX7h62xSyd0HJOlWQKSYRV5cApPnQf7+PGnc=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1626462943

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

