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