summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorEugen Kuksa2017-02-26 12:06:14 +0100
committerEugen Kuksa2017-02-26 12:06:14 +0100
commite3f912b16cc277515d171e86064f5d1c3d9223c8 (patch)
treebd83ea101bb15246f53df9142d69421532caf0ba
parent44be291d6b4eff5cccd35e69963e63c9d61af2e5 (diff)
downloadaur-e3f912b16cc277515d171e86064f5d1c3d9223c8.tar.gz
Update hets-server to 0.99_1484075143-1
-rwxr-xr-x.SRCINFO6
-rwxr-xr-xPKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index bce829fd9ad1..1df0fe3ecece 100755
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Sat Aug 27 11:40:43 UTC 2016
+# Sun Feb 26 11:06:14 UTC 2017
pkgbase = hets-server
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
@@ -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=b8488370dfa4f324561bf90f8dd443696317e385
+ source = hets-server::git+https://github.com/spechub/Hets.git#commit=b39edff7b191f41fb4b7268e00dd0289965ca9bf
sha256sums = SKIP
pkgname = hets-server
diff --git a/PKGBUILD b/PKGBUILD
index ad52702881e2..c52ccdb18c9a 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de>
pkgname=hets-server
-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-server')
conflicts=('hets-server-bin')
-_commit='b8488370dfa4f324561bf90f8dd443696317e385'
+_commit='b39edff7b191f41fb4b7268e00dd0289965ca9bf'
source=("${pkgname}::git+https://github.com/spechub/Hets.git#commit=${_commit}")
sha256sums=('SKIP')