# Generated by makepkg 7.0.0
# using fakeroot version 1.36.2
pkgname = cadical
pkgbase = cadical
xdata = pkgtype=pkg
pkgver = 2.1.1-1
pkgdesc = Simple CDCL satisfiability solver
url = https://fmv.jku.at/cadical/
builddate = 1737663148
packager = AUR Builder <luca+aurbuilder@acul.me>
size = 5814714
arch = x86_64
license = MIT
depend = gcc-libs
depend = glibc
