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 <[email protected]> +# Maintainer: Alexander F. Rødseth <[email protected]> # Contributor: Vincent Bernardoff <[email protected]> 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 \
