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

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