%FILENAME%
cryptominisat5-5.0.1-2-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%VERSION%
5.0.1-2

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

%CSIZE%
448936

%ISIZE%
1455104

%MD5SUM%
27e182c3cbdec0db0606c450ea7f90fb

%SHA256SUM%
2d401c6710b6d51b4110e8d223b9f7b870d76e29ca83d4ccfd4ba9084552a466

%PGPSIG%
iQIcBAABCAAGBQJZw9HUAAoJEHcZPxUr2+am2cMP/3OKrcg9UaZ116QtZZeNfcPm9mX982d4PYjYM9pUgCjd++aoR49QovVntt/bVbIZM6o4eiTDa2cZ1VtMPeyanSLHB+Rp5BNfXdAx6xx3rN68ZqJNotovSffN5dds6b9SSVprPWd3dKQAqqu7Dm6D7Qc8lEonEvRUl5rLg98wsvujM5DObbJpnmbpKfhm4Jhzy05jI4XPoIOqihYRIzeAfoy20Di5+/js0T8gcp8zWmAGaGk+fBJ+1AdrSdN6XMihlz9QSykNnWHjSoHJzDAtrG3N3zBlWjfvKYSeE1Y6WU2qE3uYVzfdMG1/485hIrEamvQAsJBns8Vl1taoPFyA5y7LrFjxTk3fm6wsH1ad5XzvxBFPnUnZMUZyeqP08ASdb3YqeLm5T28tMOghhzLey14uaG3EyzawLBIj3UTWJregsvK7o7rLDiBnVU0CEHF//iwbFupxkNtybLMVkCdme/93YV6l2sWrKGrXugZHPd0B42mdChd7Zwo7enPhkKXAWkU/4QX0OA+Q9asDtw5tPkJtJkvG5SYmxnVO8dJro/K03bie66V7NMZfTPnbzO9qaCk3dDtwSskVE25sClqzLUmLsqjGllbTZNBNtYl9VOKXIokERzQqblgWMG41vh/fJ+aJqeGO2+m4e3G6NquBFhIaqNkARi68AyF6nlqX92EG

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1506005454

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

