From 5ac7b9c77504d3344e0d000cf239454fd7da8698 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Sat, 21 Oct 2023 11:33:14 +0000
Subject: [PATCH] Add generated Nix files to dep5

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 .reuse/dep5 | 3 +++
 1 file changed, 3 insertions(+)

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