%FILENAME%
z3-4.6.0-1-armv6h.pkg.tar.xz

%NAME%
z3

%VERSION%
4.6.0-1

%DESC%
A high-performance theorem prover

%CSIZE%
10366940

%ISIZE%
37553152

%MD5SUM%
241153d9b6e4fba51f1f5c36adf41706

%SHA256SUM%
1158f81bf9af6fc86f9d4bf7e252b544da5e4b97e9b88172cb1bf60b094c36f7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpDrzQACgkQdxk/FSvb5qaJ8xAAwdFim04x46I76y0e/3POmahbb5zf616W040UPXm91PPhsKry95FPEcnARr9q5HiDrhennRzKOWKm6U3ahXcRey18kMULuhipbh8yjaiy+Mp1TYZ1fQ0zirvVCt592527wI6juxlnudK8B15nPcMjqLiF8vHTleV37TwFJ4NAxeL4ituQ4uh9ua+jeZTDHN0gBSerg4iSZ0xNvSj1alaXxoHBzlJZ6U5bYNfsFR7dIRxCzR19ZqxcCmUCgyy4WM7qGbSOaQZonWl3BEfzgRU03d0Gkaa/IfejQ/PnloGdiCT/X12c5cR27xWl8PNpWEpQQ8LZw9E8L6qFnPwKt51p52AV2E0gCpkECAtkmye4VoXUkpenFvkSJnIW+klBsAziT+niGEaDHjTxu0eTEdQi8QTlccjo3WN1wCluPAfARMHXMq9lkVzWZUDCUEdq53y8bXnqlfGevTLgtkW065E2HGdgvPmkAtGEYx8sTW71cuSboCYDjvx9i/S/DawrV6uN0ELoRWUilY+E4Zt8nplSfLHZC+dSWhK+9dnVhtkUM4BPzRBaSq0CUJ7cAQtKKk/7kbTYgjhrJat2onFBtZMFfwDax2UJZ3O4r8Atwa2kCZaeZJ6UYDFCbkqh/CkeSER6fb4yveOIbQWCBzZzOFJyq19WZOCUiAmD+UldHBdT9FY=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1514385137

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

