506f20d696
When we renamed CHANGES to CHANGES.md, the copyright info from reuse/dep5 for CHANGES was not transferred. Remove CHANGES from .reuse/dep5 and add info to CHANGES.md directly. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
19 lines
525 B
Text
19 lines
525 B
Text
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:
|
|
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
|