Name | Date | Size | ||
---|---|---|---|---|
.. | 04-Dec-2020 | 25 | ||
README.rst | H A D | 11-Mar-2020 | 294 | |
setup.py | H A D | 11-Mar-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