# Generated by makepkg 7.1.0
# using fakeroot version 1.37.1.2
pkgname = cadical
pkgbase = cadical
xdata = pkgtype=pkg
pkgver = 3.0.0-1
pkgdesc = Simple CDCL satisfiability solver
url = https://fmv.jku.at/cadical/
builddate = 1766549262
packager = Garuda Builder <team@garudalinux.org>
size = 8319042
arch = x86_64
license = MIT
depend = gcc-libs
depend = glibc
