summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
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')