| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 19-Nov-2021 | - | ||||
| README.rst | A D | 19-Nov-2021 | 294 | 12 | 9 | |
| setup.py | A D | 19-Nov-2021 | 974 | 52 | 38 |
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