summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAzat Abdullin2020-08-07 15:37:19 +0000
committerAzat Abdullin2020-08-07 15:37:19 +0000
commit95569b7e32e95e4967c07d39c0a26542bedba4db (patch)
tree8b7cd04f8ef13cf04383810ed745877524f77310
parent460a8254c91c386019b86a77cab0e659b8f123d1 (diff)
downloadaur-stp-java.tar.gz
m
Diffstat
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index a8b23bcb69e3..a2bfa0cbce06 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = stp-java
pkgdesc = Java bindings for the STP SMT solver
pkgver = 2.3.3
- pkgrel = 1
+ pkgrel = 2
url = http://stp.github.io/
arch = i686
arch = x86_64
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/"