pkgbase = cadical
	pkgdesc = Simple CDCL satisfiability solver
	pkgver = 3.0.1
	pkgrel = 1
	url = https://fmv.jku.at/cadical/
	arch = x86_64
	license = MIT
	depends = gcc-libs
	depends = glibc
	options = !lto
	source = https://github.com/arminbiere/cadical/archive/rel-3.0.1.tar.gz
	b2sums = 1262add26e101491a3f0dd81b4c82489b68721272e7c08d05428d765bafcdf9169e3941df115a8f445535bc9d66c13d147b465ebde3985d3975a898867be082b

pkgname = cadical
