Metadata-Version: 1.0
Name: sel4-deps
Version: 0.2.2
Summary: Metapackage for downloading build dependencies for the seL4 microkernel
Home-page: https://sel4.systems
Author: TrustworthySystems
Author-email: Stephen.Sherratt@data61.csiro.au
License: BSD2
Description: UNKNOWN
Platform: UNKNOWN
