Copyright for lablgtk3 source package in Focal

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: lablgtk3
Upstream-Contact: Jacques Garrigue 
Source: http://forge.ocamlcore.org/projects/lablgtk/

Files: *
Copyright: Jacques Garrigue    
           Benjamin Monate     
           Olivier Andrieu     
           Adrien Nader        
           Jun Furuse          
           Maxence Guesdon     
           Stefano Zacchiroli  
	   Hugo Herbelin       
	   Claudio Sacerdoti Coen 
           Hubert Fauque       
           Koji Kagawa         
License: LGPL-2.1 with linking exception

Files: configure.in
Copyright: 2001 Jean-Christophe Filliâtre
License: LGPL-2
 On Debian systems, the complete text of the GNU Library General
 Public License can be found in `/usr/share/common-licenses/LGPL-2'.

Files: src/gdkprivate-win32.h
Copyright: 1995-1997 Peter Mattis
           1995-1997 Spencer Kimball
           1995-1997 Josh MacDonald
           1998-2002 Tor Lillqvist
License: LGPL-2+
 On Debian systems, the complete text of the GNU Library General
 Public License can be found in `/usr/share/common-licenses/LGPL-2'.

Files: examples/*
Copyright: Jacques Garrigue 
           Benjamin Monate  
           Olivier Andrieu  
	   Jun Furuse       
           Hubert Fauque    
           Koji Kagawa      
License: no-license
 This code is in the public domain. You may freely copy parts of it in your
 application.

Files: examples/GL/tutorial-*.ml
Copyright: 2001 David MENTRE
License: GPL-2+
 On Debian systems, the complete text of the GNU General Public
 License can be found in `/usr/share/common-licenses/GPL-2'.

Files: examples/GL/gears.ml
Copyright: Brian Paul
           Jacques Garrigue
           Eric Cooper 
License: public-domain
 This program is in the public domain.

Files: src/gtkSourceView3.props
       src/gtkSourceView3_types.mli
       src/sourceView3_tags.var
       src/gtkSourceView3.props
       src/gtkSourceView3_types.mli
Copyright: 2005-2006 Stefano Zacchiroli 
           2006 Maxence Guesdon 
License: LGPL-2.1
 On Debian systems, the complete text of the GNU Library General
 Public License can be found in `/usr/share/common-licenses/LGPL-2.1'.

License: LGPL-2.1 with linking exception
 LablGtk is distributed under the terms the LGPL licence.
 .
 As a special exception to the GNU Library General Public License, you
 may link, statically or dynamically, a "work that uses the Library"
 with a publicly distributed version of the Library to produce an
 executable file containing portions of the Library, and distribute
 that executable file under terms of your choice, without any of the
 additional requirements listed in clause 6 of the GNU Library General
 Public License.  By "a publicly distributed version of the Library",
 we mean either the unmodified Library as distributed by INRIA, or a
 modified version of the Library that is distributed under the
 conditions defined in clause 3 of the GNU Library General Public
 License.  This exception does not however invalidate any other reasons
 why the executable file might be covered by the GNU Library General
 Public License.
 .
 On Debian systems, the complete text of the GNU Library General
 Public License can be found in `/usr/share/common-licenses/LGPL-2.1'.