# Generated by mksrcinfo v8
# Fri Mar 16 06:36:47 UTC 2018
pkgbase = kattis-problemtools
	pkgdesc = Tools to manage problem packages using the Kattis problem package format
	pkgver = v1.20170420
	pkgrel = 1
	url = https://github.com/Kattis/problemtools
	arch = i686
	arch = arm
	arch = x86_64
	license = MIT
	depends = python2
	depends = gmp
	depends = java-environment
	source = git+https://github.com/Kattis/problemtools
	md5sums = SKIP

pkgname = kattis-problemtools