Update hets-server to 0.99_1472225208-1

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 861144a70256..bce829fd9ad1 100755
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Fri Aug 19 08:20:27 UTC 2016
+# Sat Aug 27 11:40:43 UTC 2016
 pkgbase = hets-server
 	pkgdesc = A parsing, static analysis and proof management tool incorporating various provers and different specification languages.
-	pkgver = 0.99_1471594578
+	pkgver = 0.99_1472225208
 	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=b259e3b3e05433b2018f45d5781000fa3af7cbdc
+	source = hets-server::git+https://github.com/spechub/Hets.git#commit=b8488370dfa4f324561bf90f8dd443696317e385
 	sha256sums = SKIP
 
 pkgname = hets-server
diff --git a/PKGBUILD b/PKGBUILD
index 0932847e9b54..ad52702881e2 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de>
 
 pkgname=hets-server
-pkgver=0.99_1471594578
+pkgver=0.99_1472225208
 pkgrel=1
 
 pkgdesc="A parsing, static analysis and proof management tool incorporating various provers and different specification languages."
@@ -14,7 +14,7 @@ optdepends=('spass' 'eprover' 'darwin' 'pellet' 'isabelle')
 makedepends=('ghc>=7.8.4')
 provides=('hets-server')
 conflicts=('hets-server-bin')
-_commit='b259e3b3e05433b2018f45d5781000fa3af7cbdc'
+_commit='b8488370dfa4f324561bf90f8dd443696317e385'
 source=("${pkgname}::git+https://github.com/spechub/Hets.git#commit=${_commit}")
 sha256sums=('SKIP')