summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgregor herrmann <gregoa@debian.org>2021-01-02 16:56:03 +0100
committergregor herrmann <gregoa@debian.org>2021-01-02 16:56:03 +0100
commit89029409cb4ddca4933765e43478cb6ab4651525 (patch)
treeabef7e7533919ad0a57e9f53d61852cd0b25dfb8
parent23b685f2eaba19d4164152df403814a0919e9c7a (diff)
debian/copyright: update license short name.
-rw-r--r--debian/copyright4
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/copyright b/debian/copyright
index 389ec24..ccf1fe7 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -11,7 +11,7 @@ License: Artistic or GPL-2+
Files: expr.c
Copyright: 1984, 1989-1990, 2000-2006, Free Software Foundation, Inc.
-License: GPL-3+ + exception
+License: GPL-3+ with Bison exception
Files: ppport.h
Copyright:
@@ -56,7 +56,7 @@ License: GPL-2+
On Debian systems, the complete text of version 2 of the GNU General
Public License can be found in `/usr/share/common-licenses/GPL-2'.
-License: GPL-3+ + exception
+License: GPL-3+ with Bison exception
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or