%FILENAME%
cryptominisat5-5.11.12-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.12-1

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

%CSIZE%
884652

%ISIZE%
2744468

%MD5SUM%
50c1891d45ef580c47a37583d9fb95b5

%SHA256SUM%
75287566954e534352cff4fa0a6b99e4ace09620ed70e4437d90bd6e28a19da3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTqjaUACgkQdxk/FSvb5qbD4g/7B/yVZUY9NVSczmhVJqq75mf3RRZftH+N7tFe6nG/78iKkWeQhbM/vesh+ovmzPVwuuVKpmWQW8Uu4RuIOTP63bM03eDOzZhi2caHkiMkVy4dYgx1dbtOEHu34ldiPZjbI1zQAySg59jhoWtH3Z1uJbUAkMIFtBdgrV5Vn3UHOXMD+TSdsiut+nwmVMNti7zo5Teoq8ZI+iMmGtubyd6j0FX8FUR0Qb1Ot6ycR/yikshH7F2PzBDqfn6UyoU3hwtEcmqodE6PhghiZFabW+Fvrkg0+O8TqFboj63jGmW3DdSOZCK0eOSEzWfsgUDlClA+5gXMrnJB55pH2IrdkPsXNcpixXL/dhurN8laxwYw/fWtMMphHaKb4nIz7+FsOWu0zU4YepVN/jZ9z3JdtlKvpW3zWzhaEkh7FKjhWQ2ypJvaf17wVPqjdSCTF8sR/i09y8GDkMukz+hqBo+5Hq7b+bqHBmu/RePXoU+eUSvAoVKf2K79uv+zTSn6hne/H7PWwmQg0CRZLrBgksKQOv06s1m3LCHDbcw/ZOBpLkq6tCmFFmA9X2IhyuorMFWvGsdu1cfs0Ioik4dCl6UEnlXvz4tWs9pzs8e67WEJBcoKGlVFiDLuTzQgr1a4N5ySiXxlNZ3i27GIS75VZ3q16cN6RL1TmupCvWYj0XVBf9pTLZs=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1693093051

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

