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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
11495760

%ISIZE%
41617538

%MD5SUM%
ec155072ecf219336d2a51a4c57b9159

%SHA256SUM%
a2e6f832eeb33418b0ea6b0e9f2d00f4e7de4abd7548fee3b7e4755b7e7171a2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHeS4MACgkQdxk/FSvb5qZSuBAArJbCu+QiLtJcbOSw+r9uY92vLiQ0B1t9ZVktm1YyG2W0iam7HwOhWONoZnjoG130aSPoHdfHwdAqpdHWub3TBeAnefs7hvhOIv1XOnhdpuG3E2r9cabZUYEKYYWf7Bd1WdduHrPPljmeGrRBTuYo9imPNOtIFwZnX6uaMIt5b9SwlakuwRojAEcdpSlHosj8YoKueE7eGr7NYJLIR9GSY29qlPG1zg5KSy3M1YNCPK5r5Owfvx8xd8x6zbTeEkZ4pIV2mvBsrwb7tB/O0CwsyfZd+P5b52xkOmioN4CH3ygMxWRwL5SyPRTcgRIbcAgJQJ+xGJLIy3PzR7CD+pLfAyaS10wwdJpDZ73MvTvHl9eFiwLDmAEtSI+BdCXb6h7qLADAASohL83JeAX5JyffIEcoKLNFo0A3ZzQEkr50mPW+ovEsUS8sFCAGAN8mE+8ftLZwuRSHVd4l/byipZVFXaMw5wbG5NeVDdnYa2m2bPju39SXhJ9Hvng1CFZFHwDM+IDN3QzzTQrzEWoOv+sBklinHw4U/wHc4frRNoupxnY/5wIenXOXsrgGnEKuAnyfJ9Nnct2n7qPIz15yBjowM77UQR5s/h89wTFQyvcIcFASLWvUDzhf1jx8LsJLrv9QYs31RxpXM8Ku8AKTAkK9pX1qJUvjCa2LddwKlgiR5F0=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1641957673

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

