.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

pkgbase = python-sel4-deps
	pkgdesc = metapackage for build dependencies for the seL4 microkernel
	pkgver = 0.5.0
	pkgrel = 1
	url = https://sel4.systems/
	arch = any
	license = BSD
	makedepends = python-setuptools
	depends = python
	depends = python-six
	depends = python-future
	depends = python-jinja
	depends = python-lxml
	depends = python-ply
	depends = python-psutil
	depends = python-beautifulsoup4
	depends = python-pyelftools
	depends = python-sh
	depends = python-pexpect
	depends = python-pyaml
	depends = python-jsonschema
	depends = python-pyfdt
	depends = cmake-format
	depends = python-guardonce
	depends = autopep8
	depends = python-libarchive-c
	source = https://files.pythonhosted.org/packages/source/s/sel4-deps/sel4_deps-0.5.0.tar.gz
	sha256sums = 2348640c1e367af52ca31118c76f2fdbe13340d4c8bee2b979b14f4d02b7d3a7

pkgname = python-sel4-deps