Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: GNATColl Source: https://libre.adacore.com/libre/download/ Files-Excluded: docs/_build* Comment: Upstream likes to provide prebuilt documentation for the end user, but this includes minified javascript. Files: * Copyright: 2001-2014 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 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-2 (./COPYING3). Files: debian/* Copyright: 2014-2014 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'.