1 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index fefde4a66f82..9b9526a58436 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sat Aug 27 11:40:16 UTC 2016
+# Sun Feb 26 11:02:26 UTC 2017
 pkgbase = hets-desktop
 	pkgdesc = A parsing, static analysis and proof management tool incorporating various provers and different specification languages.
-	pkgver = 0.99_1472225208
+	pkgver = 0.99_1484075143
 	pkgrel = 1
 	url = http://hets.eu
 	arch = i686
@@ -27,7 +27,7 @@ pkgbase = hets-desktop
 	optdepends = isabelle
 	provides = hets-dekstop
 	conflicts = hets-dekstop-bin
-	source = hets-desktop::git+https://github.com/spechub/Hets.git#commit=b8488370dfa4f324561bf90f8dd443696317e385
+	source = hets-desktop::git+https://github.com/spechub/Hets.git#commit=b39edff7b191f41fb4b7268e00dd0289965ca9bf
 	sha256sums = SKIP
 
 pkgname = hets-desktop