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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.5-1

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

%CSIZE%
404140

%ISIZE%
1287168

%MD5SUM%
b9ecc0fef66a59bd69aee084e76cc185

%SHA256SUM%
2ac839bf5b0fbc95e826f9395234de276586ce37879757935c20778d79f05173

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlu0D/QACgkQdxk/FSvb5qYo4hAAvC4XyLlXlNtUU5dMhnUXV9Tf1i2YzxngLKEeZxZfNrgTOAgcto4kvlxoLOAsglRhHLdN4mthIz/0cu9nq8zJRNYmCEvNz5ZrTkPstogpDr2hPyKwJLhtDSjThnyIf97UaD3SRVb9Pw8HOyv5fb8Vx8io3KDyR3UoKhG92D6Wgv0uaX43t2Xxtku9WZxIdmN59fQlCbxOTy+4GszYKGThQ01Z0LUqRfxqRNRI6HL/l1+TIf1LrTJdH/wqoWExPri5MoI8qG8cwq1YKQmoH5otxLerYD6jYGzchnqts2PyjTGmKurPprmMSRlrABJo2COgkM1tDfB1hfvv7pxQggWn5JfUiO5hKj0MpNzyzhVDs66qOmNjgifVJ1eAnmJ/q2Kg41LFc4rsFe+IKZ2mGDoAYPVYRXph301Sg1jI7Rrr3gpaLaya3aO2cCbOFIUIEPzcJbC6SyE+DfWExwYGM4R9tX6W9vwSM0nwZ7QhXzH+6KDo0wM1AsaJiVNAuYLwRGIkCfy/QCm5JU0HED3oESFLQNrCw0rLaf09LQjkS3J8VafBCT8tpzClbFWdSdn/wmDJhRZYol/7MZ4NmQpyMnLt/Nv0/xVUoeqBAEbW+R9vTl6L/MKeQtVffxw6RYhtGnb0QJ1OzEcPCDqxMfnV/eMknmXooCT/3BpHOxNPWD+d6Os=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1538527045

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

