diff options
author | Vincent Bernardoff | 2016-10-12 23:49:14 +0200 |
---|---|---|
committer | Vincent Bernardoff | 2016-10-12 23:49:14 +0200 |
commit | 8cb9528459117c26573037efefc6c43e792526b2 (patch) | |
tree | 50d5f2d3c90ca5619ba99b6d03da3f7a476ad746 /PKGBUILD | |
parent | b67ee5fe3909e1df0d644afb00671dadba6f1876 (diff) | |
download | aur-aspcud-svn.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') provides=('aspcud') makedepends=('boost' 'cmake' 're2c') |