pkgbase = mathlibtools
	pkgdesc = Lean prover mathlib supporting tools
	pkgver = 1.0.0
	pkgrel = 1
	url = https://pypi.python.org/pypi/mathlibtools/1.0.0
	arch = any
	license = MIT
	makedepends = python-setuptools
	depends = python-toml
	depends = python-pygithub
	depends = python-certifi
	depends = python-gitpython
	depends = python-requests
	depends = python-click
	depends = python-tqdm
	depends = python-networkx
	depends = python-pydot
	depends = python-yaml
	source = https://files.pythonhosted.org/packages/source/m/mathlibtools/mathlibtools-1.0.0.tar.gz
	sha512sums = 4a3d10f983a4d6b9c336a37a077c8eca1fdf51dbc817bf41c20a141486f99485ad8c73b6d791522e5f3d8494c517b2b46481d93977ba08bc2763e00ccff61250

pkgname = mathlibtools