summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 53a8ff7feac5..c8ff51ae9a7a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,16 @@
pkgbase = gate
pkgdesc = GATE Developer is a development environment that provides a rich set of graphical interactive tools for the creation, measurement and maintenance of software components for processing human language.
- pkgver = 8.6
+ pkgver = 9.0
pkgrel = 1
url = http://gate.ac.uk/
arch = any
license = LGPL
depends = java-runtime
options = !strip
- source = https://github.com/GateNLP/gate-core/releases/download/v8.6/gate-developer-8.6-distro.zip
+ source = https://github.com/GateNLP/gate-core/releases/download/v9.0/gate-developer-9.0-distro.zip
source = gate.desktop
source = gate.png
- md5sums = 162d7a174098748d21ff0cee155e5de7
+ md5sums = 8cc449357b3238269fce147113c40910
md5sums = a7a2cb37bf093d4b4164c7d381661f33
md5sums = acf3e7a9fcbdedd24589394260d56d12
diff --git a/PKGBUILD b/PKGBUILD
index 01813698f28a..f1e3f22eadd8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Contributor: Sergio Tridente <tioduke AT gmail DOT com>
pkgname=gate
-pkgver=8.6
+pkgver=9.0
pkgrel=1
pkgdesc="GATE Developer is a development environment that provides a rich set of graphical interactive tools for the creation, measurement and maintenance of software components for processing human language."
arch=('any')
@@ -10,7 +10,7 @@ license=('LGPL')
depends=('java-runtime')
options=(!strip)
source=(https://github.com/GateNLP/gate-core/releases/download/v${pkgver}/gate-developer-${pkgver}-distro.zip gate.desktop gate.png)
-md5sums=('162d7a174098748d21ff0cee155e5de7'
+md5sums=('8cc449357b3238269fce147113c40910'
'a7a2cb37bf093d4b4164c7d381661f33'
'acf3e7a9fcbdedd24589394260d56d12')