summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorMartin Larralde2020-11-18 19:39:49 +0100
committerMartin Larralde2020-11-18 19:39:49 +0100
commitbdd6e412418bb357c4412af1f9eeb368554cf27e (patch)
tree0222493bbc95a8cbfbe072d0dcaeda1d9c89f8bf /PKGBUILD
parent5ed02764244981715994d64825746ea0e3f79b93 (diff)
downloadaur-bdd6e412418bb357c4412af1f9eeb368554cf27e.tar.gz
Release v1.7.2
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 0f3c155a6e9d..14ad5e163dc4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Martin Larralde <martin.larralde@ens-paris-saclay.fr>
pkgname=ontodev-robot
-pkgver=1.7.1
+pkgver=1.7.2
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")
-md5sums=('50fc8abc243db1e842a6da7f720fcc16')
+md5sums=('f5fa69a2500ef177cde71f46f2e75421')
build() {
cat > ${srcdir}/robot <<-EOF