diff options
-rw-r--r-- | community/gringo/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/community/gringo/APKBUILD b/community/gringo/APKBUILD index 6c55fb8e72..77983dca13 100644 --- a/community/gringo/APKBUILD +++ b/community/gringo/APKBUILD @@ -2,13 +2,13 @@ # Maintainer: Anil Madhavapeddy <anil@recoil.org> pkgname=gringo pkgver=4.5.4 -pkgrel=0 +pkgrel=1 pkgdesc="Grounder to translate user-provided logic programs" url="https://potassco.org/" arch="all" license="LGPL3" depends="" -makedepends="re2c scons bison" +makedepends="re2c scons bison python2" install="" subpackages="" source="https://downloads.sourceforge.net/project/potassco/gringo/${pkgver}/gringo-${pkgver}-source.tar.gz |