diff options
| author | Eugen Kuksa | 2016-08-27 13:40:12 +0200 |
|---|---|---|
| committer | Eugen Kuksa | 2016-08-27 13:40:12 +0200 |
| commit | bb2a4c689c64f5f34d1213fa57415cfe0784ebd3 (patch) | |
| tree | c796b716d8fd161a9eaffbf03a7fd730aabc3a59 | |
| parent | ee30a1f756876a239775f49fa975e503e751ba43 (diff) | |
| download | aur-bb2a4c689c64f5f34d1213fa57415cfe0784ebd3.tar.gz | |
Update hets-desktop-bin to 0.99_1472225208-1
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rwxr-xr-x | PKGBUILD | 8 |
2 files changed, 9 insertions, 9 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Fri Aug 19 09:24:26 UTC 2016 +# Sat Aug 27 11:39:55 UTC 2016 pkgbase = hets-desktop-bin pkgdesc = A parsing, static analysis and proof management tool incorporating various provers and different specification languages. - pkgver = 0.99_1471594578 - pkgrel = 2 + pkgver = 0.99_1472225208 + pkgrel = 1 url = http://hets.eu arch = i686 arch = x86_64 @@ -26,8 +26,8 @@ pkgbase = hets-desktop-bin optdepends = isabelle provides = hets-dekstop conflicts = hets-dekstop - source = http://www.informatik.uni-bremen.de/~eugenk/aur-hets/hets-desktop-bin-0.99_1471594578-1.tar.gz - sha256sums = 45df9d92e994f3b4e71e0e207988c594d70a5711ae082d4ebb17042214d61c2a + source = http://www.informatik.uni-bremen.de/~eugenk/aur-hets/hets-desktop-bin-0.99_1472225208-1.tar.gz + sha256sums = c8538ae471f3a7d6f1dcca1f905dc604c4bc69511487e7b8445dedfa1a1665dc pkgname = hets-desktop-bin @@ -1,8 +1,8 @@ # Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de> pkgname=hets-desktop-bin -pkgver=0.99_1471594578 -pkgrel=2 +pkgver=0.99_1472225208 +pkgrel=1 pkgdesc="A parsing, static analysis and proof management tool incorporating various provers and different specification languages." @@ -13,8 +13,8 @@ depends=('hets-commons' 'hets-lib' 'tcl' 'tk' 'ncurses' 'cairo' 'glib2' 'gettext optdepends=('spass' 'eprover' 'darwin' 'pellet' 'isabelle') provides=('hets-dekstop') conflicts=('hets-dekstop') -source=('http://www.informatik.uni-bremen.de/~eugenk/aur-hets/hets-desktop-bin-0.99_1471594578-1.tar.gz') -sha256sums=('45df9d92e994f3b4e71e0e207988c594d70a5711ae082d4ebb17042214d61c2a') +source=('http://www.informatik.uni-bremen.de/~eugenk/aur-hets/hets-desktop-bin-0.99_1472225208-1.tar.gz') +sha256sums=('c8538ae471f3a7d6f1dcca1f905dc604c4bc69511487e7b8445dedfa1a1665dc') package() { cp -R usr $pkgdir |