summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD5
2 files changed, 4 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 60bb0f468843..dbce551f85ff 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,11 @@
# Generated by mksrcinfo v8
-# Mon Oct 24 20:55:16 UTC 2016
+# Wed Mar 27 15:15:38 UTC 2019
pkgbase = clingo
pkgdesc = Grounding tools for (disjunctive) logic programs.
pkgver = 5.1.0
pkgrel = 1
url = https://potassco.org
arch = x86_64
- arch = i686
- arch = armv6h
- arch = armv7h
groups = potassco
license = GPL3
makedepends = bison
diff --git a/PKGBUILD b/PKGBUILD
index 3b1d323ffc59..d60e32e9e551 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,11 +1,12 @@
-# Maintainer: Vincent Bernardoff <vb@luminar.eu.org>
+# Maintainer:
+# Contributor: Vincent Bernardoff <vb@luminar.eu.org>
pkgname=clingo
groups=('potassco')
pkgver=5.1.0
pkgrel=1
pkgdesc="Grounding tools for (disjunctive) logic programs."
-arch=('x86_64' 'i686' 'armv6h' 'armv7h')
+arch=('x86_64')
url="https://potassco.org"
license=('GPL3')
depends=()