RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

dep5 file for additional license information

Browse Source 
This file provides license and copyright information for everything
that cannot be tagged inline.
This commit is contained in:
Gerwin Klein
2020-03-03 17:29:53 +08:00
parent dbb8d2a7cd
commit 892a517633
2 changed files with 21 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.licenseignore
View File

@@ -13,3 +13,4 @@ manual/references.bib
.git/*
*parsetab.py
CHANGES
.reuse/dep5

20
.reuse/dep5 Normal file
View File

@@ -0,0 +1,20 @@
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