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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.12-1

%DESC%
High-performance theorem prover

%CSIZE%
11491764

%ISIZE%
41462105

%MD5SUM%
e7310d05b423e540582e5de5cfe73522

%SHA256SUM%
dc3d2934538dba74739d9b3febcc5185249f47b6c1f7ee2a7e634a38ec406022

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDx4GMACgkQdxk/FSvb5qb/nRAAkwJL9g7N1KyIOLzdVZbz0Fybp0qDiB469BFGB9Z/b/OoeWzeH1LKkpIaZhN60qXKmmf5mMjtAORHHzqtZc8M6nBKNRZ8auyQ7nNkKYFtgyboEQ/HW6nxO5HZOgAisO7Gn3UZtioxqKaJT1xkAYH0dTYCtQh0s2tKKYMC+4Ip15YbWx8IeqBJHPeN5RTEk/GKy3kaKv8tlgo6YJX8VEKHMtvzmIvOFcf/uW3eX92MJ2+D+Rf8GTLgY3NXFIZyPKRjQKQ34yX+fCEAtLzuq2E3U2It5G4SEFG7zl8lQA+RBjv6oqrbRDxoLc4jK8X/Vc5wFhfrhbngNDQpxlk+gqLL/r1l6hg4WHk8RF4dEvVU6J5xtdmjCsfSi/sT2mCPRAXmGYNRRiNQU2qBypSazNBe2VmsJz04iYFocjMMbsmfmmKyNUh9eQry7JON8mtiGIe1KNFpy825WUD4tKMeofaRoYRyxblRloOiLGWWNyjSkIbBgBepKk6yRhhbwpDz+Jnxpj/CDfI8f/s2QY+lGyo8cPh6+vbP+M22tNyICAETlU3gDoGzx1Ek0AfZ7qJyaSF8x/BbeBKWQcPUDkzry3RXb3yEqrbxRVzOEhcfIpSclXHL/oZ158pk2pigKk/CD59K4HMR/nTnnoZCHW9CDuIY9f5tB4MtWfQ5OKDS2qjFQ5E=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1626463763

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

