Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: gprbuild
Source: https://libre.adacore.com/libre/download/
Comment:
 The gprbuild documentation cannot be distributed because it is
 licensed under the GNU Free Documentation License with Invariant
 Sections and Cover Texts.
 .
 Parts of the gnat/ subdirectory must be removed because they contain
 documentation with the same problem.  The directory is ignored anyway
 in favor of the libgnatprj and libgnatsvn dynamic libraries, built
 from the GNAT package, in order to avoid code duplication in Debian.
 We remove the whole directory to reduce the tarball size and ensure
 no file is ever used, as the upstream Makefile hardcodes this path in
 many unexpected places.
 .
 We take the opportunity to repackage without autoconf generated files
 and the unused gpr subdirectory.
Files-Excluded:
 config.guess
 config.sub
 configure
 doc
 gnat
 gpr
 install-sh

Files: *
Copyright: 1998-2015 Free Software Foundation
           1992-2015 AdaCore
License: GPL-3+

Files: debian/*
Copyright: 2009-2012 Stephen Leake <stephen_leake@stephe-leake.org>
           2013-2016 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'.

Files: examples/ada_f77/*
Copyright: 1992-2010 Free Software Foundation
License: GPL-2+
 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 2, 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-2'.