%FILENAME%
cryptominisat5-5.8.0-9-armv6h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-9

%DESC%
A modern, multi-threaded, feature-rich, simplifying SAT solver

%CSIZE%
470940

%ISIZE%
1385721

%MD5SUM%
6b8aaff176288a321713ad8645ab0e3f

%SHA256SUM%
806ee829ceba53fd204c13d79fbd4f0abdc6d781e492749d8d0238d5763df3d9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG/T4sACgkQdxk/FSvb5qZtOQ//QSPWDwwA3nc/Kt+Z4WyzxyybV1Iy8vJmXEl01NeYkfBMsAsHJSxnZhxYexc4KEParrDnSkmgCzeP8UB8FGZEOGX2AFRKIEpAH/Z8qmmOXSO8OLlE7gBWDvphB3DvPCoVHa4poFgMvFjAuA0Z+oqXlohINgYTLaR3QHNRRN2lqpCtOL6asrEiyeT+QM7NP3p7nCOR5qEifsQa9hAAs5iY2R7885buYP55WHZ9o1RERMuH8ttCRCZ0hkR97PJkxUesC9jSdG/OJmCW+Ksba3ehsGl7n90XLiWDpsgXerXZ8LKihRWp+Teq0Rwuk6B4fit+ELgzcgaRGrbo2JgHZm3Tm931WJ+hElM3+V7OWyrY+40wfLFMmv/Luvk5hg3i8Ut9R8FJ5I1kDDi5bOXo8eCeEgZsEDodFdXs5/nMoWZnhPQ4yGgX22Xb754EYYaJinLU3vvf97ugxPLXHH9qUqLc+taeDbbL1WAsHfJhoKj7zohMQvatR5Y/aGfwCnIOgFOlLu1ZjbZvHi2yZ0ECVwYKpV6Ekr7EBqkv9QTIg932E0x/FvCXlCgdrW0glZ8jQp7KeXr5KXexcNwMUJC3Yw5IhAHUe7UpXjsN9HnbUPeKTCzkjR7OmT92pBZha7TvcPyivjHfbxNr/+gWzKqhtnMmOg5PYaDz/sT0Qyf56vIM6Oc=

%URL%
https://github.com/msoos/cryptominisat/

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1639927611

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

