.SRCINFO


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

pkgbase = cadical-pic
	pkgdesc = A simple CDCL satisfiability solver with feature PIC enabled
	pkgver = 1.7.4
	pkgrel = 1
	url = http://fmv.jku.at/cadical/
	arch = x86_64
	license = MIT
	depends = glibc
	depends = gcc-libs
	provides = cadical=1.7.4
	conflicts = cadical
	source = https://github.com/arminbiere/cadical/archive/rel-1.7.4.tar.gz
	sha256sums = 866c8a1332ff1ad5dc7ad403bdef3164420f3f947816b5c9509aad1d18ada7a1

pkgname = cadical-pic