sel4-deps

Metapackage for downloading build dependencies for the seL4 microkernel

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install sel4-deps

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
0.5.0 2024-07-11    
0.4.0 2024-07-11    
0.3.1 2019-08-28  
0.3.0 2019-08-27  
0.2.5 2019-07-31  
0.2.4 2019-06-18  
0.2.3 2019-03-26  
0.2.2 2019-03-25  
0.2.1 2019-03-22  
0.2.0 2019-03-22  
0.1.4 2019-01-29  
0.1.3 2018-09-14  
0.1.2 2018-06-13  
0.1.1 2017-06-19  
0.1.0 2017-06-05  

Issues with this package?

Page last updated 2025-06-27 19:46:04 UTC