| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 07-Dec-2020 | 25 | ||
| README.rst | H A D | 09-Apr-2020 | 294 | |
| setup.py | H A D | 09-Apr-2020 | 974 |
README.rst
1.. 2.. Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3.. 4.. SPDX-License-Identifier: GPL-2.0-only 5.. 6 7seL4 Python Dependency Metapackage 8################################## 9 10An empty package depending on all the python packages required to build the seL4 11microkernel, its manual, and proofs. 12