# Generated by makepkg 6.1.0
# using fakeroot version 1.35
pkgname = cadical
pkgbase = cadical
xdata = pkgtype=pkg
pkgver = 2.0.0-1
pkgdesc = Simple CDCL satisfiability solver
url = http://fmv.jku.at/cadical/
builddate = 1721648886
packager = Unknown Packager
size = 5705620
arch = x86_64
license = MIT
depend = gcc-libs
depend = glibc
