name: sel4-deps
description: Metapackage for downloading build dependencies for the seL4 microkernel
license_spdx: BSD-3-Clause-Attribution
version: 0.3.1
spec_version: 1.0
home_url: https://sel4.systems
news_url: https://libraries.io/pypi/sel4-deps/versions.atom
date: 2019-08-28
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/sel4-deps?number=0.3.1
