summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorThorsten Wißmann2019-11-20 20:19:20 +0100
committerThorsten Wißmann2019-11-20 20:19:20 +0100
commit39ac82a8a56188c84c954e6317f33203384b1e65 (patch)
tree44c581ff17a5e02630928a6acff67650f894ea72 /PKGBUILD
parent424e56beb3e4e6b6b254c608beb1e5a53fbc1d72 (diff)
downloadaur-kattis-problemtools.tar.gz
Update to v1.20190901
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index c5efc928fe8c..04af73ba18c4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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() {