mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 18:39:55 +00:00
.. .. Copyright 2017, Data61 .. Commonwealth Scientific and Industrial Research Organisation (CSIRO) .. ABN 41 687 119 230. .. .. This software may be distributed and modified according to the terms of .. the GNU General Public License version 2. Note that NO WARRANTY is provided. .. See "LICENSE_GPLv2.txt" for details. .. .. @TAG(DATA61_GPL) .. seL4 Python Dependency Metapackage ################################## An empty package depending on all the python packages required to build the seL4 microkernel, its manual, and proofs.