Update hets-desktop to 0.99_1484075143-1

1 files changed, 2 insertions, 2 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 314493cae4a2..d245a913f10f 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de>
 
 pkgname=hets-desktop
-pkgver=0.99_1472225208
+pkgver=0.99_1484075143
 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-dekstop')
 conflicts=('hets-dekstop-bin')
-_commit='b8488370dfa4f324561bf90f8dd443696317e385'
+_commit='b39edff7b191f41fb4b7268e00dd0289965ca9bf'
 source=("${pkgname}::git+https://github.com/spechub/Hets.git#commit=${_commit}")
 sha256sums=('SKIP')