summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 629110f7e268..8cdbc7053feb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
pkgname=sat-shell
pkgver=1.1
-pkgrel=1
+pkgrel=2
pkgdesc="sat-shell is an interactive tcl-shell for solving satisfiability problems"
url="https://github.com/TestudoAquatilis/sat-shell"
arch=('x86_64' 'i686')