Date: Monday, November 20, 2017 @ 11:46:09 Author: arodseth Revision: 267544
upgpkg: clingo 5.2.2-2 Modified: clingo/trunk/PKGBUILD ----------+ PKGBUILD | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-11-20 11:45:11 UTC (rev 267543) +++ PKGBUILD 2017-11-20 11:46:09 UTC (rev 267544) @@ -4,15 +4,15 @@ pkgname=clingo pkgver=5.2.2 -pkgrel=1 +pkgrel=2 pkgdesc='Grounding tools for (disjunctive) logic programs' arch=('x86_64') url='https://potassco.org/' license=('GPL3') -depends=('python' 'lua') -makedepends=('bison' 'clang' 'cmake' 'git' 'ninja' 're2c') -conflicts=('clasp' 'gringo') -provides=('clasp' 'gringo') +depends=('lua' 'python') +makedepends=('clang' 'cmake' 'git' 'ninja' 're2c') +conflicts=('clasp') +provides=('clasp') source=("git+https://github.com/potassco/clingo#tag=v$pkgver") md5sums=('SKIP') @@ -40,4 +40,4 @@ DESTDIR="$pkgdir" ninja -C build install } -# vim:ts=2 sw=2 et: +# vim: ts=2 sw=2 et: