1Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
2Upstream-Name: seL4
3Upstream-Contact: seL4 team <support@sel4.systems>
4Source: http://sel4.systems
5
6Files:
7  CHANGES
8  VERSION
9  manual/VERSION
10  manual/references.bib
11Copyright: 2020 Data61, CSIRO (ABN 41 687 119 230)
12License: CC-BY-SA-4.0
13
14Files: manual/export.bst
15Copyright: 2005/02/27 Nicolas Markey <markey at lsv dot ens-cachan dot fr>
16License: LPPL-1.3c
17
18Files: manual/figs/*
19Copyright: Copyright 2014, General Dynamics C4 Systems
20License: GPL-2.0-only
21