Date: Monday, June 5, 2017 @ 14:21:29 Author: arodseth Revision: 234212
upgpkg: clingo 5.2.0-1 Modified: clingo/trunk/PKGBUILD ----------+ PKGBUILD | 1 + 1 file changed, 1 insertion(+) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-06-05 14:21:12 UTC (rev 234211) +++ PKGBUILD 2017-06-05 14:21:29 UTC (rev 234212) @@ -10,6 +10,7 @@ url='https://potassco.org/' license=('GPL3') depends=('python' 'lua') +conflicts=('clasp') makedepends=('bison' 're2c' 'cmake' 'ninja' 'python' 'lua') source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz") sha256sums=('57d8979b0972a091e1921309ca9ba9c18dd0cf83afcfb1586a8c0bff54ed8b9b')
