/usr/share/doc/libgnatcoll-xref17.0.2017-dev/copyright is in libgnatcoll-xref17.0.2017-dev 17.0.2017-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 | 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 <nicolas@debian.org>
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'.
|