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