%FILENAME%
z3-4.8.3-1-arm.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
10446424

%ISIZE%
36919296

%MD5SUM%
9681e531793334e00bf08fd6076f636b

%SHA256SUM%
cd8fc4d9d25270d3821b302fa12f70d364e48f32be3890d4925bf0a9fa3f12c0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KmEACgkQdxk/FSvb5qaZog//XkuDlrogR6US52sVC7BUWX/+w9Z/oVgsInwExRZ0+898tdH4RP2fIzyJ+KATzlADbukQWnk5KBRiYsZshEl2rUWoc9W1BzNURK7fmUZE18zTe7BaeCdgeNrgXevK2RXge0n0OLkwaHosbxhABIqi/487DjaPuh4rwmcF+XXPoK9hB1lOQJKY8JuSkvqwSz6jLBkRKbRc4k2CFET07E/gUYa2otP5dBlKjMTPoWPijtg2imE0TS/75rcHTUhGDJ40/kOwETuthqdkdj8RNMxajQ5e0SsZ/21tQhue6MUc8R38RMUzImQEunDfM8Len2hWOr7nablTEkTljzRvkrCyMnoUFD0omlz6ublF0MW9QcgcfiZyASoP0igPCE2bAwaL0e/e1wyA1B44OjMwz01Fso5WstWXLKCJORIWfa8q+GRFhYFICr5fNP8S6mxCt8+Cb9U68IMx5lpVX0wA6zl4SqfslYDikfLP/gJ1B7qq7ooE5ccFMkpCuZGY/nRHazPJcL5urtd+2CCpQJd1S3PGqFIexT1WC53p2U2kvp9B6qbIUQ6YKkMggQfsyoaozBRb1raAjUjvZOGIWgh3ZvBS9zwHk2H1R+ECkJCgcm13Mt1TDYx+Qd1EYGVEE3aw98jbRxB7ZWJ7guaRgAssPtsVFb7N+PiwqAm580ywV/cZ8ng=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1542924462

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

