new release

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f9c8e2d17610..18c9f7f05c8f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Tue May 24 16:56:11 UTC 2016
+# Fri Jul  1 19:56:06 UTC 2016
 pkgbase = sat-shell
 	pkgdesc = sat-shell is an interactive tcl-shell for solving satisfiability problems
 	pkgver = 1.1
-	pkgrel = 3
+	pkgrel = 4
 	url = https://github.com/TestudoAquatilis/sat-shell
 	arch = x86_64
 	arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 8b35e004a4be..f317a4d59552 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 pkgname=sat-shell
 pkgver=1.1
-pkgrel=3
+pkgrel=4
 pkgdesc="sat-shell is an interactive tcl-shell for solving satisfiability problems"
 url="https://github.com/TestudoAquatilis/sat-shell"
 arch=('x86_64' 'i686')