blob: fd55b9ab89a7cacb366c457cee12b423a02d46a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = python-agda-kernel
pkgdesc = A rudimentary Jupyter kernel for Agda
pkgver = 0.64
pkgrel = 3
url = https://github.com/lclem/agda-kernel
arch = any
license = CCPL:by
makedepends = python-setuptools
depends = agda
depends = python-jupyter-client
source = https://files.pythonhosted.org/packages/source/a/agda_kernel/agda_kernel-0.64.tar.gz
sha256sums = A515FF4E188B55D2841D92E3305E0C2A1C6C612D88EF53A56297EDC9DDE6965C
pkgname = python-agda-kernel
|