diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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() { |