%FILENAME%
cryptominisat2-2.9.11-1-arm.pkg.tar.xz

%NAME%
cryptominisat2

%VERSION%
2.9.11-1

%DESC%
SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat

%CSIZE%
284288

%ISIZE%
1163264

%MD5SUM%
206f8ad95224ff4e9dfedb287e5dca64

%SHA256SUM%
95937cfca93c3eaf4f9679e38b481df10c01f106a417440936666639060a70aa

%PGPSIG%
iQIcBAABCAAGBQJYE+UwAAoJEHcZPxUr2+amn6kQAK4ecXTJGl01l6sybsrY/gWHckL6bbh5hSjvlRemytDLlmalWxeNsVWcplE1x4wcNh+qt2D5Wsil3ZMQp3TX5aTXe/6rLY4LMGw5n8Fa/lBKirmcSf2eEWSzdJVoCpgRTQhux41jUIM9EUnMp0GMBaf65ghjTLLZbBH3wa9DVu7gbvHPS4vVVd0kAqYVd1RgtRu4IjT+xHRK/oj+tNGeW3vhsWNugcFA8+uNNHf//x7OAaN7MkHTCowlegli4gIVMswiEGiJEdktGK5lwsRolbOIZBJhPrtcYjq1z8BdlpNUY841jZ2fWJu7AT/oWgZigEEzuSt988jFILFMieVV6gEKrMwBeSNqGB5eQWv7ee6OS3eWo22K/1QBLbtjpzTvRK5kJJRp3S7onFuTmfUy+X+fKuSIEh+sOPWfX4Mp3lYpTR9epWhyzUvXjLWScHmAxJjYKjrfhMu/ZZob2LAARtt+xTszcGDCF3METPad6wcIYUfL2IA7joyzr9AgvDx2iQTGhkPYy1QYJxHH6FmRNNJWi8CRy6WA6jAKEkIcnphCdbtkAJSUh9z+ECKmpjv0D3lD8Wzbhf/UvtjfqnirihtuX7DuLkReQl1c+f+AckRdrbY17o57GLwvw9+UPnLrCLixr6cyTMXw1EIovJ3qgUQw5epNtyaxTIxdSWw4mzgi

%URL%
http://www.msoos.org/cryptominisat2/

%LICENSE%
LGPL

%ARCH%
arm

%BUILDDATE%
1477698860

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

%REPLACES%
cryptominisat<3

