diff --git a/.reuse/dep5 b/.reuse/dep5 index 9fadd68e9..af0117623 100644 --- a/.reuse/dep5 +++ b/.reuse/dep5 @@ -6,6 +6,9 @@ Source: http://sel4.systems Files: Cargo.lock support/*.json + hacking/nix/scope/capdl-tool/capDL-tool.nix + hacking/nix/scope/capdl-tool/base-compat-0-11-2.nix + hacking/nix/scope/capdl-tool/base-compat-batteries-0-11-2.nix Copyright: 2023, Colias Group, LLC License: BSD-2-Clause