v3.1.2

2 files changed, 8 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 9d36e86f897f..0884c37fa175 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 = 2
+	pkgver = 3.1.2
+	pkgrel = 1
 	url = http://boolector.github.io/
 	arch = i686
 	arch = x86_64
@@ -10,7 +10,7 @@ pkgbase = boolector-java
 	makedepends = git
 	makedepends = gcc
 	depends = boolector
-	source = https://github.com/AbdullinAM/JavaBoolector/releases/download/v3.1.1/boolector-java-3.1.1-sources.tar.gz
+	source = https://github.com/AbdullinAM/JavaBoolector/releases/download/v3.1.2/boolector-java-3.1.2-sources.tar.gz
 	sha256sums = SKIP
 	sha512sums = SKIP
 
diff --git a/PKGBUILD b/PKGBUILD
index 42ad8f0fa6d3..fe96a3a3087f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
 # Maintainer: Azat Abdullin <abdullin@kspt.icc.spbstu.ru>
 
 pkgname=boolector-java
-pkgver=3.1.1
-pkgrel=2
+pkgver=3.1.2
+pkgrel=1
 pkgdesc="Java bindings for the Boolector SMT solver"
 arch=('i686' 'x86_64')
 url="http://boolector.github.io/"
@@ -10,17 +10,17 @@ license=('MIT')
 depends=("boolector")
 makedepends=("make" "git" "gcc")
 
-source=("https://github.com/AbdullinAM/JavaBoolector/releases/download/v3.1.1/boolector-java-3.1.1-sources.tar.gz")
+source=("https://github.com/AbdullinAM/JavaBoolector/releases/download/v3.1.2/boolector-java-3.1.2-sources.tar.gz")
 sha256sums=('SKIP')
 sha512sums=('SKIP')
 
 build() {
-  cd "$srcdir/boolector-java-3.1.1"
+  cd "$srcdir/boolector-java-3.1.2"
   make
 }
 
 package() {
-  cd "$srcdir/boolector-java-3.1.1"
+  cd "$srcdir/boolector-java-3.1.2"
 
   libdir="$pkgdir/usr/lib"
   includedir="$pkgdir/usr/include/boolector-java"