diff options
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rwxr-xr-x | PKGBUILD | 6 |
2 files changed, 7 insertions, 7 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Sat Aug 27 11:39:55 UTC 2016 +# Sun Feb 26 11:01:03 UTC 2017 pkgbase = hets-desktop-bin 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,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_1472225208-1.tar.gz - sha256sums = c8538ae471f3a7d6f1dcca1f905dc604c4bc69511487e7b8445dedfa1a1665dc + source = http://hets.eu/downloads/hets/archlinux/x86_64/hets-desktop-bin-0.99_1484075143-1.tar.gz + sha256sums = adb9be6710bf3249861a4b9335aa500c6bb7e7bcb1eb12bfb891e8d019f67165 pkgname = hets-desktop-bin @@ -1,7 +1,7 @@ # Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de> pkgname=hets-desktop-bin -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." @@ -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_1472225208-1.tar.gz') -sha256sums=('c8538ae471f3a7d6f1dcca1f905dc604c4bc69511487e7b8445dedfa1a1665dc') +source=('http://hets.eu/downloads/hets/archlinux/x86_64/hets-desktop-bin-0.99_1484075143-1.tar.gz') +sha256sums=('adb9be6710bf3249861a4b9335aa500c6bb7e7bcb1eb12bfb891e8d019f67165') package() { cp -R usr $pkgdir |