Metapackage for downloading build dependencies for the seL4 microkernel
Project description
An empty package depending on all the python packages required to build the seL4 microkernel, its manual, and proofs.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
sel4-deps-0.1.1.tar.gz
(1.3 kB
view hashes)