Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: seL4
Upstream-Contact: seL4 team <support@sel4.systems>
Source: http://sel4.systems

Files:
  CHANGES
  VERSION
  manual/VERSION
  manual/references.bib
Copyright: 2020 Data61, CSIRO (ABN 41 687 119 230)
License: CC-BY-SA-4.0

Files: manual/export.bst
Copyright: 2005/02/27 Nicolas Markey <markey at lsv dot ens-cachan dot fr>
License: LPPL-1.3c

Files: manual/figs/*
Copyright: Copyright 2014, General Dynamics C4 Systems
License: GPL-2.0-only
