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.9.0.tar.gz
(2.1 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.9.0.tar.gz.
File metadata
- Download URL: sel4_deps-0.9.0.tar.gz
- Upload date:
- Size: 2.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.13.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
d7f747d1bd5fade6e8565c491c57a0e03c3cdffc0c5da000c0ce989c422c5450
|
|
| MD5 |
1198871dbf3a00ea14a674120090ee6f
|
|
| BLAKE2b-256 |
b17f9df9b7ef8b0e4730c0d84a49cceb07b5a39cac4915b34bd2472c5f2f7153
|
File details
Details for the file sel4_deps-0.9.0-py3-none-any.whl.
File metadata
- Download URL: sel4_deps-0.9.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 |
d2a4c5b1d8aca9ccc7d36905f9c36c576dba916eaf01ebff956ad9394c8c2225
|
|
| MD5 |
b375d2e21724a16df561e0dd23f9586c
|
|
| BLAKE2b-256 |
740b2474450fe188474ab4d1f50c84e3ccf6e98097d466bb6f643e5d654b434e
|
