# Generated by makepkg 6.1.0
# using fakeroot version 1.35
pkgname = minisat
pkgbase = minisat
xdata = pkgtype=pkg
pkgver = 2.2.1.20201216-2.1
pkgdesc = A minimalistic and high-performance SAT solver
url = http://minisat.se/
builddate = 1720875967
packager = ALHP x86-64-v4 <alhp@harting.dev>
size = 244839
arch = x86_64
license = MIT
depend = gcc-libs
depend = zlib
