%FILENAME%
cryptominisat5-5.8.0-6-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-6

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

%CSIZE%
481784

%ISIZE%
1544313

%MD5SUM%
b224159714dc8469cfbdd0cea8e3d766

%SHA256SUM%
416bbb5e5ba263db61c6d35fc3bfe2306843ef4b788877b730f685fe6faef76d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDC4NUACgkQdxk/FSvb5qa7JxAAqY0qyTIzrCnsuUuhzqf1wNkCglAKFzJMu0cEDu9EynjD9x9jBLLud1EsIpOPTMOXs0ZksZ2yr4lmMFARtekn6OCXp/9aHzahygQ+HFDC0l2w6rkLUgK3q1JS2SY9GevTvaBBvUYp2GO2/8ocwHxF3ZIFfT4Ljej2gmYTfekZzPtKpp2ncxQvutWgBYVrlBEhs/PZynWqstwIzb8gqsQThgLX2Fw7WJi/SMBoD47wvllK14+wCttFZxHI7cHASdEZl6uouRfA9sbQdM3wQLfBtdA3GDmjcDt2MOXuCJVjqMQLadbDDSfprgG3Pc1+igH5IC3TEiMqhfWxPLqoIZlvYGgBGHXxTUDUWI1CGCcoSFip+VJOf3LMGUh6p2kMU6dHtFdqZpWE3kbjuP9ogaYnGriqbv5IV8mC/ns3sYhf3CpLbM1Ep9705QYo4bcxwcqbh4bWiPGalnbHuRucv2tuZIC24H2KxIj6ZsHqaIndJR8q2bsjMWpQ3fkRPj+gAU4EPfLWLQo4jWfH5uUIIcAhRjnnhUe43D/H7RvXFAeIirZApL4Sx5EokqY4a41t/MpJYThXWFOzY0XOkP65k38uKlTfemkSRvCZcpTdNHhhsSAvj/SaK3+DXGxMbitKV9OY693igECRgt0nOPETlPNbLKZPCmSl534tMCDwDNrZPZw=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1623384230

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

