%FILENAME%
cryptominisat2-2.9.11-1-armv6h.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%
283848

%ISIZE%
1150976

%MD5SUM%
3110bc593bb239110761d1301e1b26a4

%SHA256SUM%
e933b5edcbb58e38f4024d2a75ecad1526d9edd31408cbaefdabdc7e301c2f6c

%PGPSIG%
iQIcBAABCAAGBQJYE+NmAAoJEHcZPxUr2+amHvMP/i8RILIdPZenjqQpVfFVySg5r2Dxdy0ulvwOy4vCeusI0wReXMUx3Kux0ARA4UdsJi5MBDsdHfDK8HVhfEwbDc45tYzXkK+7tQRtd9DkBUVnOJcXwkjK4+zVYwCiSC92BPlvE5QfHld4FPGclDfbkWCwrEqOqT3wiR3lcBO+bgeX+8AMxb3laC89Wg0PsOtbXnJCu2aDfOLzCqw1uCAJR1GI0AoCTU1t8RkoCFOeE/12Fy7f1BSjX8wyJiYiOLMRg7vcnMrIL2gURmF9KeoYobqg49hxfe5HYdWG+NBnc5fitbqmJjcgoy1vhIGiWjkQCzOOTVOgyPehxcbyGpGXNkGdW5Bie9UJIqoZOwcGTt/h7noX29ydnyRfgZYaDZIzHxRPyKMGOzwiiZq2y6zBk5BmRCYBA5+Qdf8eQitbXUMJ7N5ObLgu13EVi1zifX4zg9xIevDRQYJmWIaGTCijMktTbcnhg0H7l+pbmGF5y5WX0JktYdf71pdDM+r1KUF0Obltn91+F8qPq+x4KRJSBFIEvhh1fs7Xb0yepxWS0CwP3zp8p3Gqk6jDmkSQo4Px3F6BYf08zXRJ2jhgnfSq8ae6cxRln59z/mMHCNRbT/7VLMeNNMRFG1F/HCA3DCTwrWqwXdzrgAPpQ1nmDNnLw4wWcYP4zF07idJUN5uN38FI

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

%LICENSE%
LGPL

%ARCH%
armv6h

%BUILDDATE%
1477698402

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

%REPLACES%
cryptominisat<3

