point explicitly to GPL v3 in debian/copyright (satisfies lintian --pedantic)

diff --git a/packaging/debian/copyright b/packaging/debian/copyright
index 4c25286e687fa9919a5cc22313e0e9c357a3b41c..c85128fb9364e8acfa0c9decb5fe56449e5a1bfd 100644 (file)
--- a/packaging/debian/copyright
+++ b/packaging/debian/copyright
@@ -21,4 +21,4 @@ License: GPL-3+
  (at your option) any later version.
  .
  On Debian systems, the complete text of the GNU General Public License
- can be found in file "/usr/share/common-licenses/GPL".
+ version 3 can be found in file "/usr/share/common-licenses/GPL-3".