diff options
author | gregor herrmann <gregoa@debian.org> | 2021-01-02 16:56:03 +0100 |
---|---|---|
committer | gregor herrmann <gregoa@debian.org> | 2021-01-02 16:56:03 +0100 |
commit | 89029409cb4ddca4933765e43478cb6ab4651525 (patch) | |
tree | abef7e7533919ad0a57e9f53d61852cd0b25dfb8 | |
parent | 23b685f2eaba19d4164152df403814a0919e9c7a (diff) |
debian/copyright: update license short name.
-rw-r--r-- | debian/copyright | 4 |
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 |