# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = kissat
pkgbase = kissat
xdata = pkgtype=pkg
pkgver = 4.0.4-1
pkgdesc = A keep it simple and clean bare metal SAT solver written in C
url = https://fmv.jku.at/kissat
builddate = 1760642217
packager = Garuda Builder <team@garudalinux.org>
size = 1294778
arch = x86_64
license = MIT
conflict = kitty
depend = glibc
