.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

pkgbase = python-coq-jupyter
	pkgdesc = Coq kernel for Jupyter
	pkgver = 1.6.0
	pkgrel = 2
	url = https://github.com/EugeneLoy/coq_jupyter
	arch = any
	license = Apache
	makedepends = python-setuptools
	depends = coq
	depends = python-future
	depends = python-jupyter-client
	source = https://files.pythonhosted.org/packages/source/c/coq_jupyter/coq_jupyter-1.6.0.tar.gz
	sha256sums = ee3c43b8852a65b4a774f39304f5e5ac8bb49ff4b9541035e20de49bae647f2c

pkgname = python-coq-jupyter