%FILENAME%
python-z3-solver-4.16.0-1-aarch64.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.16.0-1

%DESC%
High-performance theorem prover

%CSIZE%
263088

%ISIZE%
2678990

%MD5SUM%
a1f83e060d884843c07d8ca2e0b7e1e9

%SHA256SUM%
799a05b1b30bb0f7e75b87140f630cf4851fa72843e90c730f821e9966e7e007

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmnKtq8ACgkQdxk/FSvb5qb5wg//Ztzd8AafFtkNLe3MSb4aRaAN/mI1D2Y+AKm4+0v3Lt/hJM9V2/H/ewiqdlzCC7tbSGVGa8DlNT2clIMO+vgO3DE+623+CeiEJMHkIas39AWZzHzwRGtcpXQY/j9kJE2KXlA8DOXtiqAVTqsp6/PmB6oIBzPwtn8rOLoDAeLC+eDH9Sfa1fPCKpz+l8UNTOOkxwsRVXJmHOSxO0EdTij9dJllpvrKIfnoNVlog2Tu2p+wIAs7butxut5D6zgcob0zzsss2WWX70AOgfrafxYUgiVOfLCHgkN+kEryCcYBbwxuCqUv66SLDZOwy6URyNKlV9aPa1haEDUYwg+weNjFdjVvnCxBxEvTsTwwrFyidx+5beaYnJYDvG6G+KHhk5u3hAyOSxMUOiZ1A7dL9vbuQPAqcWXo+HFbgT0YSLIo7EHgAyIioJnAvw8A9ahg+88IMnixaD7NIxk2va1QL8nfxvbwkR6AuYHomTOZDFvdUpVPI0W8BQ8xGCBWocy1aiMGUrrKa68vlUMZzy6Fj0i68ZX2e2TiUxIDzgjanNJDcfDFib4DIAqsOMwGRzBF6cL9LKbO3QdRXmIOBpTh552F84ZM+RWJNNlaM0TrnAZVb3FOnudNzZnoH5qydcVOPZ5xLMi/8jPnthkfy1QMDJoUYChVT9AW/1LNA9GTpEXrn0w=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1774891879

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

%REPLACES%
python-z3

