PyPI page
Home page
Author:
TrustworthySystems
License:
BSD2
Summary:
Metapackage for downloading build dependencies for the seL4 microkernel
Latest version:
0.9.0
Required dependencies:
autopep8
|
bs4
|
cmake-format
|
future
|
guardonce
|
jinja2
|
jsonschema
|
libarchive-c
|
lxml
|
pexpect
|
ply
|
protobuf
|
psutil
|
pyelftools
|
pyfdt
|
pyyaml
|
sh
|
six
|
typing-extensions
Downloads last day:
102
Downloads last week:
1,072
Downloads last month:
4,718
7-day smoothing