%FILENAME%
cryptominisat5-5.11.4-3-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-3

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

%CSIZE%
883184

%ISIZE%
2739249

%MD5SUM%
8520b3d985da5e38053421ff1c0e7f49

%SHA256SUM%
7111a888fd51e1a09b23fa0822023860ce68ec95990d949f4f84cece033e5391

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRWBjMACgkQdxk/FSvb5qZMABAAofqfWLMkfaGZkiBgTd6S2zFq5kxb/Snz9OgTt09HBXD+QOeJ8QvnoT9gVRbiSRtucPa4X0RV7xfZC+rKBJF024rFnNYSwTTigRR3ec/cwVCXLeelEBy3jOmlx/mf9rwkks6WXgXCd2dfYpbBu7cmsUQSxQh4B7A24hVKEBu00kYVgihTi7rGSqrc3JmAtevBISJdwoqzg82iZr34g2Xh+ME+Be8n+1myWIJARn7rva0i0tT75PP6i2XfXhdcf/Pvw8nG44+GqMYOKp2+EH72sBasaAJIL5K4c7pSBaTEEO3kNSnjPlM+G7gYUlq8psgRfkwEan1uZrHnSo3I4jrxHe1x7cMYQD1tMyJxDSJBVIrc5fa6itb6ZQfd58Wos8Uk7vsvyLYOGRXVyr5XFLTVgHGZZk4kD7G/sKB3tR8EknbGsDQNSMNKtbSphvaHD5FsLz/IOhAolPeP104oEw4rt1Ep5Ac+xD9Q7NT8ZtennFM4PnNXTsKgDhyw7rTmIeXFIUtWI9lqTvqUEOsjApu7qioiJ71VEr8Ve3JRd0HgkmMBbuhcWQBhZQkuxbQdeV7oAARZ9HqBYt23Ruj49yw1uLldGY9tAUe+ZdEZf/Mfqq8o1OP7JDGxoH5w1VSSIDsXnxuCBHzCBxvZkImWbCuTHs2eVKqzFGVQu9G+Z6lb1cc=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1683359061

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

