summarylogtreecommitdiffstats
path: root/.AURINFO
blob: dc2d1cba95f42f8e5707f68fe7a3e0ff4e4f0e2b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
pkgbase = clasp
	pkgdesc = A conflict-driven nogood learning answer set solver.
	pkgver = 3.1.2
	pkgrel = 1
	url = http://potassco.sourceforge.net/
	arch = x86_64
	arch = i686
	arch = armv6h
	arch = armv7h
	groups = potassco
	license = GPL3
	source = http://downloads.sourceforge.net/project/potassco/clasp/3.1.2/clasp-3.1.2-source.tar.gz
	sha1sums = bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba

pkgname = clasp