diff options
author | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-10-09 16:16:08 +0200 |
---|---|---|
committer | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-10-09 16:16:08 +0200 |
commit | 10ca049f62f6bffb9be68f9ab81e63ca28b60d23 (patch) | |
tree | aa9c2b16143dc04f6192996f98e88bed2c5fec3f /pcr | |
parent | 805ca4cd0c895dd1580608f1393ca627e7ff748d (diff) |
A conflict-driven nogood learning answer set solver.
Diffstat (limited to 'pcr')
-rw-r--r-- | pcr/clasp/PKGBUILD | 6 |
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') |