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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.12-1

%DESC%
High-performance theorem prover

%CSIZE%
11478800

%ISIZE%
41478041

%MD5SUM%
2aff6dab534821928b24acbc46f014a4

%SHA256SUM%
47b8c1ff5ea8fb026b28da41ca7123098424235fb28c2841f9e154dddbf708b5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDx8KwACgkQdxk/FSvb5qZMDg/+ODLzBihKDvfbsDQeL9tyPl7wv8v6fP8kYtvGs4PN/SklqbEE9v9qv37Ff4yxgca6NL6th94y4lwcft4ILr093hI+bYeVXJeAiFYDqhPTBMKM9Z2kucM5reDRmM6nFpSM4P8SVOBukd64YtiRba41sG6dKOKEPifxhBQBzMHl6NBZOY7OgmFsjpzMM6TKiu7UNDiTOmYsCvzbUcEJXi74qSBdmxP/cYRN+wP1SzDNJYic7nV7anerR5N5nuD2o7ROgK67CXU2UAvIhqRhzwgwcd8eW+lxk4ihATZuwOgcYSq1VcJAg98u2e8yz2tzRsWLyYLjvnC2S9BydyskYamDRCSRjoJ+N6Ka9OdbLzKphbkz8aXK0mZZQHogjhr2dFYYrUvAkCp3kv76o3VQORhUbtMGg/FEM7wqtkPd4kzzYXZU/dFM8BwuYOCK4dE+qVAuf4MSUx9Mt111XstGHrpkgxQYvL9tGL12jI2Cs1jpEQYChDC5z8iiI/Ii2Z5l6tePl4yjucderebQ2rlo8KSw5EFYDwA82V4kVy0HKQnpzRE38cWk6Os33+jfofBnlVhk1xA3eoffDDUA3KwZERhM2AUZUvbuqPhiTWRMO2mBmlso34T3jTQejoW3zhn7fx302hFjbvMZixvtRDR4lx8s3sJ6NXk86CTjRhgT6h/kGd4=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1626467941

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

