# Generated by makepkg 6.0.0
# using fakeroot version 1.25.3
pkgname = minisat
pkgbase = minisat
pkgver = 2.2.1.20201216-1.0
pkgdesc = A minimalistic and high-performance SAT solver
url = http://minisat.se/
builddate = 1623182088
packager = Andreas Baumann <mail@andreasbaumann.cc>
size = 239231
arch = i486
license = MIT
depend = gcc-libs
depend = zlib
