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
58
59
60
|
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'.
|
