%FILENAME%
cryptominisat5-5.6.8-4-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-4

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

%CSIZE%
439708

%ISIZE%
1537036

%MD5SUM%
7896a7afa4bf696ef22e58df29ebc025

%SHA256SUM%
7c2868c5e605e5a057ee47af6a9c8fdf8e9530b83f9a28d46d280ce46c6a9077

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3PFToACgkQdxk/FSvb5qYO7w/9Fd0JSw9yF73tAvL9ZLzxrOmjtoS0CDV/iqUd9Z8cPKOofsckMzp964GcK0XP/ucDg3XRVJhURZeJf5qVb4e0NOcDVwkRPixPdPnWq9lQO4tmcigZ/vWSN6+EggUq5l/7AQuC43l4RKnNsTfGnTdYf0Ox5ngYjnZoxFXEbhBYzroDTZ3iNHKw3dzFM/Yfdtsn+rD6u/Jo45f1AmFOM5sehlOzXHT8svpYimPwGlhxzgQQ3PK5KV+TdlEIG7169ID1VifOgzYvqByVwLFvnCJsj5BulXGGXf3hsTsxKYI5Meq7N4p7P57JZAJplgV8y+U1si32CPvIUQxKFUDTz4kWf2ipmcyGfj7cg46bOxzJX2SOiRpjG+FF/pd5jlpUgwlg0Jwt8cTM+AYQt8QoFffK6w9xsJqbom+rU1UQvnbqpfm4tBJFf9t4fKEqzrUrvzKGw0Q678ne+Lg/N/pbNAyk3Tn0HLqZVvpCAn/7gKgCxiDiuDxzdRUvgftfhvTga3fJr68ZX1QKiisoA9LBQvs6mz0dS2Rig2lGNnoH5At+caYyyLtFIqZ7U0yLhIOrrTxvFfbDbqe7JOBqdLi6G18Qmcs2wsab4+BXcbKo40k50WjIMkKUEscR9yhmwShXNV8OOQ1Jd88qertKrZN6B6yCV6a2wSf+xRLQqmsxeukrSbI=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1573852322

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

