Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: gprconfig-kb Source: https://github.com/AdaCore/gprconfig_kb Files: * Copyright: 1992-2020 AdaCore 2020-2020 Nicolas Boulenguez Comment: No formal statement grants the option to select a later version of the GPL, although this is most probably Adacore's intent. . The gprconfig XML data were previously part of the gprbuild package. They were carrying no license headers on their own, but the GPL-3+ was repeated in each conventional source file, so the intent was clear from the context. In 2020, other tools started consuming the data, so Adacore has moved the data to a separate repository, duplicating COPYING3 and COPYING.RUNTIME, but adding no specific license statement. . Upstream has since confirmed that COPYING3 and COPYING.RUNTIME apply to every file in the gprconfig_kb repository, for example at https://github.com/AdaCore/gprconfig_kb/pull/5#issuecomment-725953273. . In case someone investigates the package history before 2020, an historical note may avoid confusion. Adacore was previously using two non-commercial distribution channels. The Community/GPL Edition was licensed under the pure GPL-3+, while the github repositories were additionally granted the GCC Runtime Library exception. Debian packages were based on tarballs from the Community Edition website, and now rely on github tags. 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, version 3 (see comment above, though). 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. . 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.