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