diff options
author | Vincent Bernardoff | 2016-10-12 23:47:12 +0200 |
---|---|---|
committer | Vincent Bernardoff | 2016-10-12 23:47:12 +0200 |
commit | 0664882307f2bc64b859e0881ba94881871cc766 (patch) | |
tree | 0311e2e0338dcc7ffc59cc9b6cc20e720c67f053 /PKGBUILD | |
parent | 788a0943635e239f453439d1640fd4c056281017 (diff) | |
download | aur-0664882307f2bc64b859e0881ba94881871cc766.tar.gz |
depends: replace gringo by clingo
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ pkgdesc="Solver for package dependencies" arch=('x86_64' 'i686' 'armv6h' 'armv7h') url="http://potassco.sourceforge.net/" license=('GPL3') -depends=('clasp>=2.1.3' 'gringo>=4.2.1') +depends=('clasp>=2.1.3' 'clingo>=5.0.0') conflicts=('aspcud-svn') makedepends=('boost' 'cmake' 're2c') source=( |