diff options
author | Thorsten Wißmann | 2019-11-20 20:19:20 +0100 |
---|---|---|
committer | Thorsten Wißmann | 2019-11-20 20:19:20 +0100 |
commit | 39ac82a8a56188c84c954e6317f33203384b1e65 (patch) | |
tree | 44c581ff17a5e02630928a6acff67650f894ea72 /PKGBUILD | |
parent | 424e56beb3e4e6b6b254c608beb1e5a53fbc1d72 (diff) | |
download | aur-kattis-problemtools.tar.gz |
Update to v1.20190901
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ # Maintainer: Thorsten Wißmann <edu@thorsten-wissmann.de> pkgname=kattis-problemtools -pkgver=v1.20181111 -pkgrel=2 +pkgver=v1.20190901 +pkgrel=1 pkgdesc="Tools to manage problem packages using the Kattis problem package format" arch=('i686' 'arm' 'x86_64') url="https://github.com/Kattis/problemtools" @@ -9,7 +9,7 @@ license=('MIT') depends=('python2' 'gmp' 'java-environment' 'plastex' 'python2-yaml') builddepends=('python2-setuptools' 'boost') source=("git+https://github.com/Kattis/problemtools") -fragment=v1.20181111 +fragment=$pkgver md5sums=('SKIP') build() { |