[arch-commits] Commit in clingo/trunk (PKGBUILD)

[Alexander Rødseth]

    Date: Friday, June 29, 2018 @ 10:57:40
  Author: arodseth
Revision: 347730

upgpkg: clingo 5.3.0-1

Modified:
  clingo/trunk/PKGBUILD

----------+
 PKGBUILD |    7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-06-29 09:51:07 UTC (rev 347729)
+++ PKGBUILD	2018-06-29 10:57:40 UTC (rev 347730)
@@ -1,10 +1,10 @@
 # $Id$
-# Maintainer: Alexander F Rødseth <xyproto at archlinux.org>
+# Maintainer: Alexander F. Rødseth <xyproto at archlinux.org>
 # Contributor: Vincent Bernardoff <vb at luminar.eu.org>
 
 pkgname=clingo
-pkgver=5.2.2
-pkgrel=5
+pkgver=5.3.0
+pkgrel=1
 pkgdesc='Grounding tools for (disjunctive) logic programs'
 arch=('x86_64')
 url='https://potassco.org/'
@@ -22,7 +22,6 @@
 build() {
   mkdir -p build
   cd build
-
   cmake "../$pkgname" \
     -DCMAKE_INSTALL_PREFIX=/usr \
     -DCMAKE_INSTALL_LIBDIR=lib \