PyPI page
Home page
Author:
TrustworthySystems
License:
BSD2
Summary:
Metapackage for downloading build dependencies for the seL4 microkernel
Latest version:
0.7.0
Required dependencies:
autopep8
|
bs4
|
cmake-format
|
future
|
guardonce
|
jinja2
|
jsonschema
|
libarchive-c
|
lxml
|
pexpect
|
ply
|
psutil
|
pyelftools
|
pyfdt
|
pyyaml
|
sh
|
six
Downloads last day:
22
Downloads last week:
1,663
Downloads last month:
4,646