aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSören Tempel <soeren+git@soeren-tempel.net>2020-05-25 18:45:12 +0200
committerSören Tempel <soeren+git@soeren-tempel.net>2020-05-30 15:01:21 +0200
commit5c9c6d3b2890466745a62592afa5b64789d3f350 (patch)
tree1137033e4f958ee5d74dc37fb92c7d6c363214ab
parentf944ea82953737680cda0519af8e96a02818492c (diff)
downloadaports-5c9c6d3b2890466745a62592afa5b64789d3f350.tar.gz
aports-5c9c6d3b2890466745a62592afa5b64789d3f350.tar.bz2
aports-5c9c6d3b2890466745a62592afa5b64789d3f350.tar.xz
community/clingo: conflict with clasp
-rw-r--r--community/clingo/APKBUILD3
1 files changed, 2 insertions, 1 deletions
diff --git a/community/clingo/APKBUILD b/community/clingo/APKBUILD
index 30cdddfb10..02a2de4679 100644
--- a/community/clingo/APKBUILD
+++ b/community/clingo/APKBUILD
@@ -2,11 +2,12 @@
# Maintainer:
pkgname=clingo
pkgver=5.4.0
-pkgrel=0
+pkgrel=1
pkgdesc="A grounder and solver for logic programs"
url="https://potassco.org/clingo/"
arch="all"
license="MIT"
+depends="!clasp" # both provide /usr/bin/clasp
makedepends="python3-dev cmake"
subpackages="$pkgname-dev py3-$pkgname:py"
options="!check"