1 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 7378ce58582e..861144a70256 100755
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Thu Aug 18 10:55:08 UTC 2016
+# Fri Aug 19 08:20:27 UTC 2016
 pkgbase = hets-server
 	pkgdesc = A parsing, static analysis and proof management tool incorporating various provers and different specification languages.
-	pkgver = 0.99_1471209385
+	pkgver = 0.99_1471594578
 	pkgrel = 1
 	url = http://hets.eu
 	arch = i686
@@ -26,7 +26,7 @@ pkgbase = hets-server
 	optdepends = isabelle
 	provides = hets-server
 	conflicts = hets-server-bin
-	source = hets-server::git+https://github.com/spechub/Hets.git#commit=9c020bf240dace07c6defccb1c8a42328ec454e0
+	source = hets-server::git+https://github.com/spechub/Hets.git#commit=b259e3b3e05433b2018f45d5781000fa3af7cbdc
 	sha256sums = SKIP
 
 pkgname = hets-server