From 10ca049f62f6bffb9be68f9ab81e63ca28b60d23 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20DESBRI=C3=88RES?= Date: Thu, 9 Oct 2014 16:16:08 +0200 Subject: A conflict-driven nogood learning answer set solver. --- pcr/clasp/PKGBUILD | 6 +++--- 1 file 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 -# Maintainer (Parabola) : Aurélien DESBRIÈRES +# Maintainer : Aurélien DESBRIÈRES +# Contributor: Vincent Bernardoff 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') -- cgit v1.2.3-2-g168b