%FILENAME%
cryptominisat2-2.9.11-1-armv7h.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%
277964

%ISIZE%
1142784

%MD5SUM%
c54f38c7b24b9bddf82740d05b77fb24

%SHA256SUM%
0aa641313ef093ff26917817b54b16e2cd81fbadebf438751ce489b9ccfe92c5

%PGPSIG%
iQIcBAABCAAGBQJYE+IrAAoJEHcZPxUr2+amPWoP/jTHJmRtm6n0FaOadwvron5efAJ6fn2s5SFycvLuQ4cz+rQYnrSuhc+IblccgrX/BEE2k3qv6LPX9YX9XSVMT9vAJaQV0Os+EMVAGazeVrnId1cLIKRNiJ2HRjaYCAebQIcP8jPFhkoUfcuHXTmcI74r9wRg95Qxz6phvJPdOWtuUcZCiC1Vd+v9iyzHy2a1TnQwJN3jciWk6+8MbJOi8O79x4QSnBbGU8wBJBaQo2lZq38tLcgNRZsmd93n2n2lsupI3hLt2yC2cYIbF9vMP4p7IZkjSu33qWbjOaGZCQhLp5yObs0hCbvaM3rqggIZB8jGYwtoGAJ7HsPnfA7bYf8aY5NEal1VzFx+nLNqpgMIkvrHRQ/8YqkrQa/IMdsuRUrfeByZ2Nhu1kgoJhh7OXYSLliISCyCVwekBtZP/7CpxqTtAi6Kx+gPDbZOqAn2xKZq0GtgLaZrTmGNnmTxE58q+KfPBW5AxO3vIu5ePm8RfBQk4MU6MlWzztqz4SoxsWAqXhicjnB/qPilx+ytrWIBfKrkmPI5gh5Mlb+RAFI7woP0LTKOuBPs6AgYRPT5lmXGkvRp08uISM6AcVbdACYlycD2VrmtQuDc+3tqIXLMw48KcCUi06wQnGdJWLopn5FKX4VhXUSVCLQfGiwN2JeDpD91zwc+00AOulUp0Lz6

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

%LICENSE%
LGPL

%ARCH%
armv7h

%BUILDDATE%
1477698088

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

%REPLACES%
cryptominisat<3

