From dc43f11cd6cb735c52537bb8349788db4643ebed Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Thu, 7 Mar 2024 09:22:40 +0100
Subject: [PATCH] Update to Reuse version 3

We make some specifications in .reuse/dep5 more specific
to get less warnings.
The remaining warnings that are printed are not important
and we can fix them with later versions of Reuse.
---
 .github/workflows/reuse.yml                          |  2 +-
 .gitlab-ci.yml                                       |  2 +-
 .reuse/dep5                                          | 12 +++++++++++-
 .../systemd/system/user@.service.d/benchexec.conf    |  7 +++++++
 4 files changed, 20 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/reuse.yml b/.github/workflows/reuse.yml
index 99b29ba57..a324b38a4 100644
--- a/.github/workflows/reuse.yml
+++ b/.github/workflows/reuse.yml
@@ -14,4 +14,4 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: fsfe/reuse-action@v1
+      - uses: fsfe/reuse-action@v3
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4ea93f5b5..bfc92edd8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -189,7 +189,7 @@ javascript-eslint:
 reuse:
   stage: test
   image:
-    name: fsfe/reuse:1
+    name: fsfe/reuse:3
     entrypoint: [""]
   script:
     - reuse lint
diff --git a/.reuse/dep5 b/.reuse/dep5
index 859d22435..0a0772781 100644
--- a/.reuse/dep5
+++ b/.reuse/dep5
@@ -19,6 +19,16 @@ Files: benchexec/tablegenerator/react-table/build/vendors.min.*
 Copyright: various authors (full list is bundled and shown on Info tab)
 License: BSD-3-Clause AND CC-BY-4.0 AND MIT AND ISC
 
-Files: debian/*
+Files: debian/NEWS
+ debian/README.Debian
+ debian/benchexec.examples
+ debian/changelog
+ debian/compat
+ debian/control
+ debian/copyright
+ debian/docs
+ debian/install
+ debian/source/format
+ debian/watch
 Copyright: 2015-2020 Dirk Beyer <https://www.sosy-lab.org>
 License: Apache-2.0
diff --git a/debian/additional_files/lib/systemd/system/user@.service.d/benchexec.conf b/debian/additional_files/lib/systemd/system/user@.service.d/benchexec.conf
index d3fd93bb1..8dd48adce 100644
--- a/debian/additional_files/lib/systemd/system/user@.service.d/benchexec.conf
+++ b/debian/additional_files/lib/systemd/system/user@.service.d/benchexec.conf
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 [Service]
 # Delegate all controllers such that BenchExec can make use of them
 Delegate=yes