Copyright for asis source package in Focal

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: ASIS
Source: https://www.adacore.com/community
Comment:
 ASIS-for-GNAT was originally developed  by the ASIS-for-GNAT team at the
 Software  Engineering  Laboratory  of  the Swiss  Federal  Institute  of
 Technology (LGL-EPFL) in Lausanne,  Switzerland, in cooperation with the
 Scientific  Research  Computer  Center of  Moscow State University (SRCC
 MSU), Russia,  with funding partially provided  by grants from the Swiss
 National  Science  Foundation  and  the  Swiss  Academy  of  Engineering
 Sciences.     ASIS-for-GNAT    is     now    maintained    by    AdaCore
 (http://www.adacore.com).
 .
 Although
 most licensing boilerplates have not been updated yet from GPL-2+,
 Avatox.pdf and README.avatox mention the GNAT exception to the GPL,
 the license of this whole package is GPL-3+, as for everything
 available on libre.adacore.com under the "GPL edition".
 The GPL is stated for example at
 http://lists.adacore.com/pipermail/gtkada/2009-June/003789.html,
 and the version makes no doubt because AdaCore has replaced many
 years ago a file named COPYING containing the GPL-2 with a file named
 COPYING3 containing the GPL-3.
 Please contact them at libre@adacore.com for any clarification.
 .
 However, the documentation is now licensed under the GNU
 Free Documentation License with invariant sections, and cannot be
 distributed by Debian.
 .
 The gnat subdirectory contains copies from the GCC source tree,
 packaged in Debian as a separate library.
 .
 The mckae subdirectory contains an old copy of libxmlzout, packaged
 separately in Debian.
Files-Excluded:
 doc
 gnat
 tools/gnatcheck/doc
 tools/gnat2xml/ada-schema.xsd
 tools/gnat2xml/ada-schema.compact.xsd
 tools/gnat2xml/mckae

Files: *
Copyright: 1995-2016, Free Software Foundation, Inc.
           1995-2019, Adacore, Inc.
License: GPL-3+
Comment:
 In contrast to previous versions of ASIS, this version is licensed under
 the pure GPL.  This means  that if you produce binary executables linked
 with ASIS,  and if  you distribute these  binary executables  to anyone,
 then you *must* do  so under the terms of the GPL.   This means that you
 must give  them (your customers) the  sources of your  program, and that
 they  (your customers)  have a  right  to modify  and redistribute  your
 program under the terms of the GPL.
 .
 If you do not wish to license  your software under the terms of the GPL,
 then you have three choices:
 .
 - do not distribute your software at all (i.e. only  use  it  internally
   for your own purposes)
 .
 - distribute your software in source form only, under licensing terms of
   your choosing
 .
 - contact AdaCore (sales@adacore.com) and acquire a  GNAT  Pro  license,
   which will allow you to distribute binaries  linked  with  ASIS  under
   licensing terms of your choosing.

Files: debian/*
Copyright: 2000-2014 Ludovic Brenta 
           2013-2019 Nicolas Boulenguez 
License: GPL-3+

License: GPL-3+
 ASIS-for-GNAT 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.  ASIS-for-GNAT 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.   See the  GNU
 General Public License for more details. You should have received a copy
 of the  GNU General Public  License distributed with  ASIS-for-GNAT; see
 file COPYING. If not, see .
 .
 On Debian GNU/Linux systems, the  full terms of the GNU General Public
 License are in /usr/share/common-licenses/GPL-3.