summaryrefslogtreecommitdiff
path: root/pcr
diff options
context:
space:
mode:
authorAurélien DESBRIÈRES <aurelien@hackers.camp>2014-10-09 16:16:08 +0200
committerAurélien DESBRIÈRES <aurelien@hackers.camp>2014-10-09 16:16:08 +0200
commit10ca049f62f6bffb9be68f9ab81e63ca28b60d23 (patch)
treeaa9c2b16143dc04f6192996f98e88bed2c5fec3f /pcr
parent805ca4cd0c895dd1580608f1393ca627e7ff748d (diff)
A conflict-driven nogood learning answer set solver.
Diffstat (limited to 'pcr')
-rw-r--r--pcr/clasp/PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/pcr/clasp/PKGBUILD b/pcr/clasp/PKGBUILD
index 2367bcdfc..48e534307 100644
--- a/pcr/clasp/PKGBUILD
+++ b/pcr/clasp/PKGBUILD
@@ -1,9 +1,9 @@
-# Contributor (Arch) : Vincent Bernardoff <vb@luminar.eu.org>
-# Maintainer (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp>
+# Maintainer : Aurélien DESBRIÈRES <aurelien@hackers.camp>
+# Contributor: Vincent Bernardoff <vb@luminar.eu.org>
pkgname=clasp
groups=('potassco')
-pkgver=3.0.3
+pkgver=3.0.6
pkgrel=1
pkgdesc="A conflict-driven nogood learning answer set solver."
arch=('x86_64' 'i686' 'armv6h' 'armv7h')