# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = minisat
pkgbase = minisat
xdata = pkgtype=pkg
pkgver = 2.2.1.20201216-3.1
pkgdesc = A minimalistic and high-performance SAT solver
url = http://minisat.se/
builddate = 1774260914
packager = CachyOS <admin@cachyos.org>
size = 257103
arch = x86_64_v4
license = MIT
depend = glibc
depend = libgcc
depend = libstdc++
depend = zlib
makedepend = git
