# Generated by makepkg 5.0.1
# using fakeroot version 1.21
# Fri Oct 28 23:46:42 UTC 2016
pkgname = cryptominisat2
pkgver = 2.9.11-1
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 = 1477698402
packager = Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>
size = 1150976
arch = armv6h
license = LGPL
replaces = cryptominisat<3
conflict = cryptominisat
provides = cryptominisat
depend = gcc-libs
depend = zlib
