%FILENAME%
clasp-3.1.2-1-x86_64.pkg.tar.xz

%NAME%
clasp

%VERSION%
3.1.2-1

%DESC%
A conflict-driven nogood learning answer set solver.

%GROUPS%
potassco

%CSIZE%
400068

%ISIZE%
1070080

%MD5SUM%
8adbb6671a0af414724246955c5f156a

%SHA256SUM%
c31ec71d2168f6b91e75394f488fcd3703c38768bfb1cda009933d01752e4c0c

%PGPSIG%
iQEcBAABCAAGBQJVU4gIAAoJEA23oa4FFoCszJYH/iiBjcG4lSnV6LbnumGn462hK/JaNPyxHi85cxl/vqenA0+JHspXDeKSN7N5NygZiYZf7AQYQUxTtlHrt+1gws3mM3gb9UcvZ5dfjD0YiWBq8bkb2CTX3HoIAVPwcjmI1JgF0rMv6dsqJ873LmfbY/RexG7X8bmi9SyRH2RSsuuo7+3Ao9w7DTKrjR3l8DlTdgPjT22pR/YkmoRf79VnTJTEcyndb4901foqbvt92MdJXzCkS2WcUoatMFhR3cJe3f+7QsyWskw/rqeXs+u38a20wc0pgKAPOc8WLmhroo8E4tEsczNb4nBKrV7I12RQdjyalxz7+trbrBbrbg3caAk=

%URL%
http://potassco.sourceforge.net/

%LICENSE%
GPL3

%ARCH%
x86_64

%BUILDDATE%
1431537671

%PACKAGER%
Josh VanderLinden <arch@cloudlery.com>

