blob: 00df7098de1c13a9874c331c41f9a18e5d94b032 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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
depends = clang
source = http://downloads.sourceforge.net/project/potassco/clasp/3.1.2/clasp-3.1.2-source.tar.gz
sha1sums = bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba
pkgname = clasp
|