This meta package depends on all python packages you need to build the seL4 microkernel and manual.
This package is maintained on https://github.com/seL4/seL4, in directory https://github.com/seL4/seL4/tree/master/tools/python-deps
1 maintainer
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.8.0.tar.gz
(2.0 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file sel4_deps-0.8.0.tar.gz.
File metadata
- Download URL: sel4_deps-0.8.0.tar.gz
- Upload date:
- Size: 2.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.13.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
801c204d45f90efc67e84c92ec8da48fe36ea1cc5b0cac341e5cd3c3a611d3d2
|
|
| MD5 |
6f82654d0d5be5061463cdf8cc35cc26
|
|
| BLAKE2b-256 |
f5af20a18c71fab031887b588e36cf45461308d6b930094763f61351ee7d36ea
|
File details
Details for the file sel4_deps-0.8.0-py3-none-any.whl.
File metadata
- Download URL: sel4_deps-0.8.0-py3-none-any.whl
- Upload date:
- Size: 1.4 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.13.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
84c6d3ff40312b989967774f54705153a3144b55dfaa3f113dacb2199a1129ba
|
|
| MD5 |
ee02a3af1db52bf7bb8922abe4a8e8ae
|
|
| BLAKE2b-256 |
316e617b2ccfec1a80253793fe724020656cc468da325fd837f1275b99e6b0f3
|
