Index of /debian/sel4/sel4-12.0.0/LICENSES/

../
Apache-2.0.txt                                     06-Nov-2020 07:29               10343
BSD-2-Clause.txt                                   06-Nov-2020 07:29                1288
BSD-3-Clause.txt                                   06-Nov-2020 07:29                1480
CC-BY-SA-4.0.txt                                   06-Nov-2020 07:29               18109
GPL-2.0-only.txt                                   06-Nov-2020 07:29               17623
GPL-2.0-or-later.txt                               06-Nov-2020 07:29               17622
LPPL-1.3c.txt                                      06-Nov-2020 07:29               18466
MIT.txt                                            06-Nov-2020 07:29                1108
SHL-0.51.txt                                       06-Nov-2020 07:29               11476