Copyright for libgnatcoll source package in Bionic

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: GNATColl
Source: https://libre.adacore.com/libre/download/
Files-Excluded: docs/_build*
 src/sqlite/amalgamation
Comment:
 Upstream likes to provide prebuilt documentation for the end user,
 but this includes minified javascript.
 Repackage without them, and also generated, copied or unused sources,
 dividing the archive size by 4.
 .
 The three files in src/xref.generated should be excluded too, but their
 generator src/tools/gnatcoll_db2ada.adb circularly depends on
 gnatcoll-sqlite (see Makefile/generate-sources).

Files: *
Copyright: 2001-2017 AdaCore
License: GPL-3+
Comment:
 AdaCore sells its software with support and a permissive license.  A
 few years ago, this license was GPL-2+ with exceptions (GCC runtime,
 generic instantiation). Now, it is GPL-3+ with a similar exception.
 .
 On a yearly basis, some of the packages are relicensed under the pure
 GPL and published at
 http://libre.adacore.com.
 A script is supposed to modify every header in every source file, but
 it frequently happens that the script misses some licenses, or is not
 been run at all.
 AdaCore considers that updating the headers is a low priority task,
 because the headers do not have any legal value by themselves.
 .
 This is stated for example at
 http://lists.adacore.com/pipermail/gtkada/2009-June/003789.html.
 .
 The few source headers containing the GPL-2+ text in libgnatcoll are
 obsolete and should be ignored.
 .
 You may check at http://libre.adacore.com/download/configurations
 that the hyperlink targets latest GPL on the FSF site, and that in
 every package a verbatim copy of the GPL-2 (./COPYING) has been
 replaced with a verbatim copy of the GPL-3 (./COPYING3).

Files: debian/*
Copyright: 2014-2017 Nicolas Boulenguez 
License: GPL-3+

License: GPL-3+
 This file is free software; you can redistribute it and/or modify it
 under terms of the GNU General Public License as published by the
 Free Software Foundation; either version 3, or (at your option) any
 later version. It is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY -- or FITNESS FOR A PARTICULAR PURPOSE.
 .
 On Debian GNU/Linux systems, the complete text of the GNU General
 Public License can be found in `/usr/share/common-licenses/GPL-3'.