v3.1.1 rel 2

2 files changed, 4 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 2e2813c75010..9d36e86f897f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = boolector-java
 	pkgdesc = Java bindings for the Boolector SMT solver
 	pkgver = 3.1.1
-	pkgrel = 1
+	pkgrel = 2
 	url = http://boolector.github.io/
 	arch = i686
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 813b4ae205dc..42ad8f0fa6d3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=boolector-java
 pkgver=3.1.1
-pkgrel=1
+pkgrel=2
 pkgdesc="Java bindings for the Boolector SMT solver"
 arch=('i686' 'x86_64')
 url="http://boolector.github.io/"
@@ -15,12 +15,12 @@ sha256sums=('SKIP')
 sha512sums=('SKIP')
 
 build() {
-  cd "$srcdir/boolector-java-3.1.0"
+  cd "$srcdir/boolector-java-3.1.1"
   make
 }
 
 package() {
-  cd "$srcdir/boolector-java-3.1.0"
+  cd "$srcdir/boolector-java-3.1.1"
 
   libdir="$pkgdir/usr/lib"
   includedir="$pkgdir/usr/include/boolector-java"