diff options
author | Eugen Kuksa | 2017-02-26 12:06:14 +0100 |
---|---|---|
committer | Eugen Kuksa | 2017-02-26 12:06:14 +0100 |
commit | e3f912b16cc277515d171e86064f5d1c3d9223c8 (patch) | |
tree | bd83ea101bb15246f53df9142d69421532caf0ba | |
parent | 44be291d6b4eff5cccd35e69963e63c9d61af2e5 (diff) | |
download | aur-e3f912b16cc277515d171e86064f5d1c3d9223c8.tar.gz |
Update hets-server to 0.99_1484075143-1
-rwxr-xr-x | .SRCINFO | 6 | ||||
-rwxr-xr-x | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -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 @@ -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') |