%FILENAME%
python-z3-4.8.5-1-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover

%CSIZE%
173672

%ISIZE%
1810432

%MD5SUM%
405f9df8c55d54f463af85f5fed63381

%SHA256SUM%
64ba6a771469764c64adcca7d4cdb38e87f790f969ecd1b886caed62ccfb9acf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlz4W6IACgkQdxk/FSvb5qZguBAArBlhVn7RUvA7QG/WfcgkgucjZR+iIp3r5AjOVmh8JedZ8MRx5b/kJnzbY24sKFcysB/F2ag034Trr+To5j/bmAg7R1N3NqFjvdTq9j4exem8syP0v92R9nfBOjJWalC4/0/13m8p7yQBfW7WpKl9G7qeZi5cmMkmkOOiyik5IolKzu49ltNQkIom6saYfxx8ijZIsx9K3zeJuIJYgkjjy9EWnTSx1+pm4Xfej5vgkneZecNBwXb3eXhShmKmhFCeaIlX2UtDa0Diaz/7hWwyVg6LNJ42eeRzYW29Jojixl+gd0kBZiW7Io/iyxsd3Nu00A+nne7RmSsRhbqj+5I6tOjJ8NPB7zFzA22DGBe/oflfdk3y526maenJ7U2m5XztmpiQJ8GWiia3uJgXARWw3QO8BJMyEMj3PXkhFHZfUAzXe0wZMasg98pw34OVkL/Kg5Lhi2Yvi/6tcpVXfkv3Cp3x05wbJSrL+H3T9/ZQ9A47Zi7ioxL3ubY+NJV7bWpyER7DYRsVNpMdBcDYbq6m8gEPbSI+pfImPeVKzBYoj1SmDEptXYOo+ET+82j+QN+iU1LYsyEQYvkk7tGEbjr3Rcvd1TsrB9Azgjpi2BGb1qzyLa2sItTds3z1PtbhZBb4hZoOk5lDH7ataoEgZfkHQttr90ycTpcwsMw6X3vB7nk=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1559779743

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

