summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index a6ad4295a8b3..a1531d151d9a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = clingo
pkgdesc = Grounding tools for (disjunctive) logic programs
pkgver = 5.4.0
- pkgrel = 1
+ pkgrel = 2
url = https://potassco.org/
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 7576d167acc4..00a3208d1687 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
pkgname=clingo
pkgver=5.4.0
-pkgrel=1
+pkgrel=2
pkgdesc='Grounding tools for (disjunctive) logic programs'
arch=('i686' 'x86_64' 'pentium4')
url='https://potassco.org/'