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
|