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 a4d113e38eeb..ff690d7ff568 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=stp-java
pkgver=2.3.3
-pkgrel=1
+pkgrel=2
pkgdesc="Java bindings for the STP SMT solver"
arch=('i686' 'x86_64')
url="http://stp.github.io/"