Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: GtkAda
Source: https://github.com/AdaCore/gtkada
Files: *
Copyright: 1998-2011 Emmanuel Briot <briot@gnat.com>
1998-2011 Joel Brobecker <brobecker@gnat.com>
1998-2011 Arnaud Charlet <charlet@gnat.com>
1998-2011 Nicolas Setton <setton@adacore.com>
2000-2011 ACT-Europe
2000 Helix Code
2000-2022 Adacore
2003-2013 Ludovic Brenta <lbrenta@debian.org>
2012-2023 Nicolas Boulenguez <nicolas@debian.org>
License: GPL-3+ with GCC-runtime-library exception
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'.
.
GCC RUNTIME LIBRARY EXCEPTION
.
Version 3.1, 31 March 2009
.
Copyright (c) 2009 Free Software Foundation, Inc. <http://fsf.org/>
.
Everyone is permitted to copy and distribute verbatim copies of this
license document, but changing it is not allowed.
.
This GCC Runtime Library Exception ("Exception") is an additional
permission under section 7 of the GNU General Public License, version
3 ("GPLv3"). It applies to a given file (the "Runtime Library") that
bears a notice placed by the copyright holder of the file stating
that the file is governed by GPLv3 along with this Exception.
.
When you use GCC to compile a program, GCC may combine portions of
certain GCC header files and runtime libraries with the compiled
program. The purpose of this Exception is to allow compilation of
non-GPL (including proprietary) programs to use, in this way, the
header files and runtime libraries covered by this Exception.
.
0. Definitions.
.
A file is an "Independent Module" if it either requires the Runtime
Library for execution after a Compilation Process, or makes use of an
interface provided by the Runtime Library, but is not otherwise based
on the Runtime Library.
.
"GCC" means a version of the GNU Compiler Collection, with or without
modifications, governed by version 3 (or a specified later version)
of the GNU General Public License (GPL) with the option of using any
subsequent versions published by the FSF.
.
"GPL-compatible Software" is software whose conditions of
propagation, modification and use would permit combination with GCC
in accord with the license of GCC.
.
"Target Code" refers to output from any compiler for a real or
virtual target processor architecture, in executable form or suitable
for input to an assembler, loader, linker and/or execution
phase. Notwithstanding that, Target Code does not include data in any
format that is used as a compiler intermediate representation, or
used for producing a compiler intermediate representation.
.
The "Compilation Process" transforms code entirely represented in
non-intermediate languages designed for human-written code, and/or in
Java Virtual Machine byte code, into Target Code. Thus, for example,
use of source code generators and preprocessors need not be
considered part of the Compilation Process, since the Compilation
Process can be understood as starting with the output of the
generators or preprocessors.
.
A Compilation Process is "Eligible" if it is done using GCC, alone or
with other GPL-compatible software, or if it is done without using
any work based on GCC. For example, using non-GPL-compatible Software
to optimize any GCC intermediate representations would not qualify as
an Eligible Compilation Process.
.
1. Grant of Additional Permission.
.
You have permission to propagate a work of Target Code formed by
combining the Runtime Library with Independent Modules, even if such
propagation would otherwise violate the terms of GPLv3, provided that
all Target Code was generated by Eligible Compilation Processes. You
may then convey such a combination under terms of your choice,
consistent with the licensing of the Independent Modules.
.
2. No Weakening of GCC Copyleft.
.
The availability of this Exception does not imply any general
presumption that third-party software is unaffected by the copyleft
requirements of the license of GCC.
Files: docs/gtkada_ug/*
Copyright: 1998-2000 Emmanuel Briot
1998-2000 Joel Brobecker
1998-2000 Arnaud Charlet
2000-2022 AdaCore
License: GFDL-1.3+-NIV
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
any later version published by the Free Software Foundation; with no
Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
.
The complete license can be found in
/usr/share/common-licenses/GFDL-1.3.
Files: docs/gtkada_rm/texinfo.tex
docs/texi2html
Copyright: 1985-1997 Free Software Fundation
1998 Lionel Cons <Lionel.Cons@cern.ch>
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'.
Comment: AdaCore distributes an old copy of texi2html without an
explicit license statement, but the license has been clarified since.
Generated by dwww version 1.15 on Sat May 18 10:59:31 CEST 2024.