version 1.0

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 82d218b2f582..905fb5860380 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sun May  1 13:34:06 UTC 2016
+# Wed May 18 20:34:09 UTC 2016
 pkgbase = sat-shell
 	pkgdesc = sat-shell is an interactive tcl-shell for sat-solver interaction
-	pkgver = 0.9
+	pkgver = 1.0
 	pkgrel = 1
 	url = https://github.com/TestudoAquatilis/sat-shell
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 8fc91765669b..c0f2a8c56633 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,5 +1,5 @@
 pkgname=sat-shell
-pkgver=0.9
+pkgver=1.0
 pkgrel=1
 pkgdesc="sat-shell is an interactive tcl-shell for sat-solver interaction"
 url="https://github.com/TestudoAquatilis/sat-shell"