diff options
| author | Eugen Kuksa | 2016-08-27 13:40:44 +0200 |
|---|---|---|
| committer | Eugen Kuksa | 2016-08-27 13:40:44 +0200 |
| commit | 44be291d6b4eff5cccd35e69963e63c9d61af2e5 (patch) | |
| tree | beb1a3e2f889974e6f530534a2543eaf7934e604 /.SRCINFO | |
| parent | 79bf213782b128413f14d6075889fbfa4f028c7d (diff) | |
| download | aur-44be291d6b4eff5cccd35e69963e63c9d61af2e5.tar.gz | |
Update hets-server to 0.99_1472225208-1
Diffstat (limited to '.SRCINFO')
| -rwxr-xr-x | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Fri Aug 19 08:20:27 UTC 2016 +# Sat Aug 27 11:40:43 UTC 2016 pkgbase = hets-server pkgdesc = A parsing, static analysis and proof management tool incorporating various provers and different specification languages. - pkgver = 0.99_1471594578 + pkgver = 0.99_1472225208 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=b259e3b3e05433b2018f45d5781000fa3af7cbdc + source = hets-server::git+https://github.com/spechub/Hets.git#commit=b8488370dfa4f324561bf90f8dd443696317e385 sha256sums = SKIP pkgname = hets-server |