version 1.1

2 files changed, 7 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 58c6e18e6489..ba9d47ed1579 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Thu May 19 18:35:04 UTC 2016
+# Sat May 21 13:16:32 UTC 2016
 pkgbase = sat-shell
-	pkgdesc = sat-shell is an interactive tcl-shell for sat-solver interaction
-	pkgver = 1.0
-	pkgrel = 2
+	pkgdesc = sat-shell is an interactive tcl-shell for solving satisfiability problems
+	pkgver = 1.1
+	pkgrel = 1
 	url = https://github.com/TestudoAquatilis/sat-shell
 	arch = x86_64
 	arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 471216cc5b11..629110f7e268 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 pkgname=sat-shell
-pkgver=1.0
-pkgrel=2
-pkgdesc="sat-shell is an interactive tcl-shell for sat-solver interaction"
+pkgver=1.1
+pkgrel=1
+pkgdesc="sat-shell is an interactive tcl-shell for solving satisfiability problems"
 url="https://github.com/TestudoAquatilis/sat-shell"
 arch=('x86_64' 'i686')
 license=('GPLv3')