# Generated by makepkg 4.2.1
# using fakeroot version 1.20.2
# Fri Dec 11 02:20:02 UTC 2015
pkgname = cryptominisat
pkgver = 2.9.10-2
pkgdesc = 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
url = http://www.msoos.org/cryptominisat2/
builddate = 1449800402
packager = Arch Linux ARM Build System <builder+xu6@archlinuxarm.org>
size = 1186816
arch = armv7h
license = LGPL
depend = zlib
depend = gcc-libs
makepkgopt = strip
makepkgopt = docs
makepkgopt = !libtool
makepkgopt = !staticlibs
makepkgopt = emptydirs
makepkgopt = zipman
makepkgopt = purge
makepkgopt = !upx
makepkgopt = !debug
