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 cfdd0f5613dc..f96b48fb5cca 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Martin Larralde <martin.larralde@ens-paris-saclay.fr>
pkgname=ontodev-robot
-pkgver=1.9.4
+pkgver=1.9.5
pkgrel=1
pkgdesc="ROBOT is an OBO Tool"
url="http://robot.obolibrary.org/"
@@ -20,7 +20,7 @@ install=
changelog=
source=("https://github.com/ontodev/robot/releases/download/v${pkgver}/robot.jar")
noextract=("robot.jar")
-sha256sums=('b74df7d2a421be677f52065a040539e87737751e827856119e0488caec4fed6d')
+sha256sums=('21e96a9f6ac90dacdb6fa1303ac9b49b0d2be3594ecacf4c0e3d0e68e86def57')
build() {
cat > ${srcdir}/robot <<-EOF