From f803d64755c20baf28548ff93b6c6334f705d95a Mon Sep 17 00:00:00 2001
From: Aurelien Desbrieres <aurelien@hackers.camp>
Date: Mon, 15 Dec 2014 14:53:37 +0100
Subject: Grounding tools for (disjunctive) logic programs.

---
 pcr/gringo/PKGBUILD | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'pcr/gringo')

diff --git a/pcr/gringo/PKGBUILD b/pcr/gringo/PKGBUILD
index a02656821..4e9e56248 100644
--- a/pcr/gringo/PKGBUILD
+++ b/pcr/gringo/PKGBUILD
@@ -1,9 +1,9 @@
-# Contributor (Arch) 	 : Vincent Bernardoff <vb@luminar.eu.org>
-# Maintainer  (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp>
+# Maintainer : Aurelien Desbrieres <aurelien@hackers.camp>
+# Contributor: Vincent Bernardoff <vb@luminar.eu.org>
 
 pkgname=gringo
 groups=('potassco')
-pkgver=4.3.0
+pkgver=4.4.0
 pkgrel=1
 pkgdesc="Grounding tools for (disjunctive) logic programs."
 arch=('x86_64' 'i686' 'armv6h' 'armv7h')
@@ -12,12 +12,10 @@ license=('GPL3')
 depends=()
 makedepends=('bison' 're2c' 'scons')
 source=(
-    "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz"
-    "uint_max.patch")
+    "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz")
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}-source"
-    patch -p1 < "$srcdir/uint_max.patch"
     scons --build-dir=release ${pkgname}
 }
 
-- 
cgit v1.2.2