..
.. Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
..
.. SPDX-License-Identifier: GPL-2.0-only
..

seL4 Python Dependency Metapackage
##################################

An empty package depending on all the python packages required to build the seL4
microkernel, its manual, and proofs.