pkgbase = kissat
	pkgdesc = A keep it simple and clean bare metal SAT solver written in C
	pkgver = 4.0.4
	pkgrel = 1
	url = https://fmv.jku.at/kissat
	arch = x86_64
	license = MIT
	depends = glibc
	conflicts = kitty
	source = kissat-4.0.4.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.4.tar.gz
	b2sums = cb77022b27fabdabe4a1ce58c84f41dd6035811068a2c15e912b7550ea4b29ab0f6ccfec1ec4936e237daffedd62c9719b7a72c4d6dc1557d74b9a55ac58d602

pkgname = kissat
