.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14

# Generated by mksrcinfo v8
# Fri Mar  4 05:20:10 UTC 2022
pkgbase = cadical
	pkgdesc = A simple CDCL satisfiability solver
	pkgver = 1.5.0
	pkgrel = 1
	url = http://fmv.jku.at/cadical/
	arch = x86_64
	license = MIT
	source = https://github.com/arminbiere/cadical/archive/rel-1.5.0.tar.gz
	md5sums = 79a7070b4ae539d14accaea2687c98d3

pkgname = cadical