diff options
author | Martin Larralde | 2019-09-13 11:06:54 +0200 |
---|---|---|
committer | Martin Larralde | 2019-09-13 11:06:54 +0200 |
commit | e8fc71e2d09bccf9edb9e75b619fc430631cd0dc (patch) | |
tree | 7dd6e2296ec749af3cc254dc864f5c27cef31fc4 | |
parent | 652ad42fb07ec43b3d1434b71d59c0dddd651a0a (diff) | |
download | aur-e8fc71e2d09bccf9edb9e75b619fc430631cd0dc.tar.gz |
Release v1.4.3
-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.4.0 +pkgver=1.4.3 pkgrel=0 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=('15f389dd125e6ac71ec2c52b14b6d2e7') +md5sums=('75417bdaa8b7db719e6cdc891f999b29') build() { cat > ${srcdir}/robot <<-EOF |