%FILENAME%
cryptominisat-2.9.10-2-armv6h.pkg.tar.xz

%NAME%
cryptominisat

%VERSION%
2.9.10-2

%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%
293244

%ISIZE%
1190912

%MD5SUM%
2305e9eb862e3494ef4577804fd1e799

%SHA256SUM%
fcdddd285f25581a52919bd0b23fef8781b8e229199a7f64e93e3d63877e138c

%PGPSIG%
iQIcBAABCAAGBQJWangMAAoJEHcZPxUr2+amQhUQAI7YzWL8jO6OvXNKW6WTbDvUkmXH3Jd6sSkwDOdeO61avdZbBJU8Q53K8g4Oq7umDl0ZguJPKpNEwcs9idik6f5bXRdlUJwf0yvA2PrGsj/1TtP2zcG+0gz2JcPVk13zPUxz0iOtYlR4BD9MVW6wjr2AaZLq86ncswPkQ4sFHXWPcagxmxk4apbyk9Oi13BdBSVBs2hVJmrxwXkWMiRbXEcsv7fXPTuAEb/qifQRLxDplGmdR3LQA21TeI7RuhKI+HACPwzHp3Mq3irCwz8C3/u69ajrzJLVtb0lky0MFCm9iA3TOeWrEzGaXlB9LQGyVc/a8ZaTxl/EWkZmzBMoL94y3XWKrXHa26LB/y8ehzrN+t61hnzamcJ6G/vGRgRSj0/g936XImYiG4wMj0lsRAxBE83IfDrWxf3kEBQGyTimxXbKOd44S2nZ+AZvg1VaVN6jxMtlKrefntLpJvaBum7S0m2JALd4iqEkY52qnQoH6S06QdRg/gCdNFTaCoq5d8QwPzlZ/fkQWb5w0SrJnP2kP5zS253RZQBJCFGESqdVDtMKNPDKeLaLyodDOc0KZ/3L3hIU7rjG+5bykPub5JzgICd5WUYvD9ue/UIlhnvfUy2K+vfpIWJvpPC7zUEpDHopnCpARi2gSqt6mraU0Q0v9ogy1gnSCh5SQwj2OUQQ

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

%LICENSE%
LGPL

%ARCH%
armv6h

%BUILDDATE%
1449818120

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

