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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
182400

%ISIZE%
1702871

%MD5SUM%
8d4ae05e7e11b6d68b96be10c4d8bce2

%SHA256SUM%
37f412a2aa24a0473016ee6bd02ced459b740941f0772a09ed0b229358168518

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHeS4MACgkQdxk/FSvb5qYLhA/9HscSc9FZ2zahMqUMRtQEcbD5nRR+VL/8Je5S3qKXeMgNldDt3F4Xv0C62WctSjqSIS60Tsx3zcUPRf9FaOJ9YygBXWCXW1TAGL5UxJCQJRMbLmryjCdQuxGuEOSqW+8DmsrhkHj2cLcKmCt53A/SvbmUK7X/p4wtQDKs0/ThJRjLh9eboZ66dtoasvruRsx6AvPNsPv4myoQUof7WhYvDAVHfEQhwVNpfXvHIzVF7opZ+q5wnmykcFcn3iwGWcNc0+fwAN1M1gmmhtNsbmCELU55kJLm0MSgaPhIIP0VyOgax3kuoYycqVUPRa2Kg9RvG7DXm1fy21M2SdwpkT+tLYXVObkHnNUqSRAGaWvLSnucV4FahBHPiiJZK13iWoYyd3AbBPZzOXFwZ/GJhuDcsxPmXQtRNkxXzC5z50/osOTlsYRumzZ9FhHs2KFXTBCrZyscN5Kfi1sMSjUJdMqvv8VS0X3CUF9rt6JUaHNTfXu06tEd+HZs2TTd+4C0n2SOe1fo2xzM02U4/d26nVLY7ijDwHoCrrqNmnt7+psvu5Wge5D/RwxCElH1MmqJlhWBCNNqN5jHv1Tue1DRifR9XNgnuOq/wFYu4oeJvcavIRsEnIZX6yWWvA5M4Ziuf+iCTTX7HAY50682gM8y9Oglp405LnqtbVFTc8EElsgDzIA=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1641957673

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

