# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = minisat-debug
pkgbase = minisat
xdata = pkgtype=debug
pkgver = 2.2.1.20201216-3
pkgdesc = Detached debugging symbols for minisat
url = http://minisat.se/
builddate = 1774260458
packager = Felix Yan <felixonmars@archlinux.org>
size = 869711
arch = x86_64
license = MIT
makedepend = git
