Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: AUnit
Source: https://github.com/AdaCore/aunit

Files: *
Copyright: 2006-2023 AdaCore
           2004-2008 Free Software Foundation
           2013-2024 Nicolas Boulenguez <nicolas@debian.org>
           2006-2012 Stephen Leake <stephen_leake@stephe-leake.org>
           2004-2006 Ludovic Brenta <ludovic@ludovic-brenta.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: doc/*
Copyright: 2004-2021 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: doc/share/sphinx.sty
Copyright: 2007-2021 the Sphinx team
License: BSD-2-clause
 Note: this file is replaced with the one from the sphinx-common
 package before the build.
 The full list of authors may be found in the AUTHORS file
 of the sphinxdoc source package.
 .
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions
 are met:
 .
 * Redistributions of source code must retain the above copyright
 notice, this list of conditions and the following disclaimer.
 * Redistributions in binary form must reproduce the above copyright
 notice, this list of conditions and the following disclaimer in the
 documentation and/or other materials provided with the distribution.
 .
 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
 INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
 BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
 OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
 AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY
 WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 POSSIBILITY OF SUCH DAMAGE.
