summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 690c495c284c..fd506de2510c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: Thorsten Wißmann <edu@thorsten-wissmann.de>
pkgname=kattis-problemtools
-pkgver=v1.20170420
+pkgver=v1.20181111
pkgrel=1
pkgdesc="Tools to manage problem packages using the Kattis problem package format"
arch=('i686' 'arm' 'x86_64')
@@ -9,7 +9,7 @@ license=('MIT')
depends=('python2' 'gmp' 'java-environment')
builddepends=('python2-setuptools' 'boost')
source=("git+https://github.com/Kattis/problemtools")
-fragment=v1.20170420
+fragment=v1.20181111
md5sums=('SKIP')
build() {