diff options
author | Martin Larralde | 2020-11-18 19:39:49 +0100 |
---|---|---|
committer | Martin Larralde | 2020-11-18 19:39:49 +0100 |
commit | bdd6e412418bb357c4412af1f9eeb368554cf27e (patch) | |
tree | 0222493bbc95a8cbfbe072d0dcaeda1d9c89f8bf /PKGBUILD | |
parent | 5ed02764244981715994d64825746ea0e3f79b93 (diff) | |
download | aur-bdd6e412418bb357c4412af1f9eeb368554cf27e.tar.gz |
Release v1.7.2
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |