secc
/
seL4-L4.verified
mirror of https://github.com/seL4/l4v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-L4.verified/LICENSES
History
Gerwin Klein 79d9107fe2
licenses: remove now-unused LGPL-2.1-only 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2024-03-15 09:30:46 +01:00
..
BSD-2-Clause.txt license: provide full license texts in LICENSES/ 2020-03-16 14:19:15 +08:00
BSD-3-Clause.txt license: provide full license texts in LICENSES/ 2020-03-16 14:19:15 +08:00
CC-BY-SA-4.0.txt spdx: provide dep5 file with license information 2020-03-16 14:19:15 +08:00
CC0-1.0.txt license: provide full license texts in LICENSES/ 2020-03-16 14:19:15 +08:00
GPL-2.0-only.txt license: provide full license texts in LICENSES/ 2020-03-16 14:19:15 +08:00
GPL-2.0-or-later.txt license: provide full license texts in LICENSES/ 2020-03-16 14:19:15 +08:00
HPND.txt license: provide full license texts in LICENSES/ 2020-03-16 14:19:15 +08:00
LicenseRef-ulem.txt spdx: provide dep5 file with license information 2020-03-16 14:19:15 +08:00
SMLNJ.txt license: provide full license texts in LICENSES/ 2020-03-16 14:19:15 +08:00