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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.0-1

%DESC%
High-performance theorem prover

%CSIZE%
186236

%ISIZE%
1756921

%MD5SUM%
f1158fd7f7ca538afe06082bee08f066

%SHA256SUM%
545ae0e761237464c56e4e9101e933924bc7ab6580aaac06050b07ffbd4bb03a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmPd1H0ACgkQdxk/FSvb5qaE+xAAv5DanTJTU4B55CtB2hSwisSNUUD3FGczy9HC9Y4kATinSMRFUUiCIU+Xx1Kgf/5JraidbKBsPcXImTLy+xOGbQAc8VvSeIm9I4FcF1Wx+cW3ifd3Jwqp+yYYGwGbpF56pYwQLLLi3v29QZjShYI5aKRUleQ8u/3yGOyepkLKRQGF0pA8ErZSOjI027X/KCh9bfTlpjMhzK5Wu6XhQ4nj5O1tNt5tHYg6w+HXXAxLKrPCVrXyIL3v0X9pnayDlAJ27AueA55JbhC5DNyV/ELwFB8Nce7U4VdWZYVxueIhC+d9dCfzBHPJtChmqlQR+sUY9EKgo+fp3I0DpXPyL5Q9nCVbMOp8NsGmNQmiPF5+BDdF92wKK4JoMcbaRBHoee73HuVaejg6hQS863mgf5grVfIgWqO7IsncLTaGk8E257mSK7fjq+KU+tGKqbsbX9FPn5gfWwD3A4hw7y+o+yU6BQ1Jfu3qwPWvu81el6RAa6Kd2HhjAlDlH19HWEXMgnCKfU65L0v5zqrvfQLqOXktSWaNEC/rD1g96V9kNiVECQijDoyj97NKnyTuS3y1KeDUgn14wOYUasu/D9KEPqAGCu5KKQv7pR4NBymvmNwFN+Ec7NaCRvlsGvbLs3kbO7bQZhRsGNp9+n6NommUdvUmrkJR6mHC6AYgvx0eqvEHdjI=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1675481819

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

%REPLACES%
python-z3

