diff options
author | Eugen Kuksa | 2016-08-19 10:20:00 +0200 |
---|---|---|
committer | Eugen Kuksa | 2016-08-19 10:20:00 +0200 |
commit | 422c7dc7ea39bc561801dc52f6a0416098cd1318 (patch) | |
tree | eb17f8255f096290632199404540e76d497c5a8a | |
parent | 749719612c61bb1a459589d9844cf7b7cc40f80a (diff) | |
download | aur-422c7dc7ea39bc561801dc52f6a0416098cd1318.tar.gz |
Update hets-desktop to 0.99_1471594578-1
-rw-r--r-- | .SRCINFO | 6 | ||||
-rwxr-xr-x | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Thu Aug 18 10:53:17 UTC 2016 +# Fri Aug 19 08:20:00 UTC 2016 pkgbase = hets-desktop pkgdesc = A parsing, static analysis and proof management tool incorporating various provers and different specification languages. - pkgver = 0.99_1471209385 + pkgver = 0.99_1471594578 pkgrel = 1 url = http://hets.eu arch = i686 @@ -26,7 +26,7 @@ pkgbase = hets-desktop optdepends = isabelle provides = hets-dekstop conflicts = hets-dekstop-bin - source = hets-desktop::git+https://github.com/spechub/Hets.git#commit=9c020bf240dace07c6defccb1c8a42328ec454e0 + source = hets-desktop::git+https://github.com/spechub/Hets.git#commit=b259e3b3e05433b2018f45d5781000fa3af7cbdc sha256sums = SKIP pkgname = hets-desktop @@ -1,7 +1,7 @@ # Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de> pkgname=hets-desktop -pkgver=0.99_1471209385 +pkgver=0.99_1471594578 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='9c020bf240dace07c6defccb1c8a42328ec454e0' +_commit='b259e3b3e05433b2018f45d5781000fa3af7cbdc' source=("${pkgname}::git+https://github.com/spechub/Hets.git#commit=${_commit}") sha256sums=('SKIP') |