diff options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Fri Mar 16 06:36:47 UTC 2018 +# Mon Nov 12 21:23:52 UTC 2018 pkgbase = kattis-problemtools pkgdesc = Tools to manage problem packages using the Kattis problem package format - pkgver = v1.20170420 + pkgver = v1.20181111 pkgrel = 1 url = https://github.com/Kattis/problemtools arch = i686 @@ -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() { |