Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: lablgtk3
Upstream-Contact: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Source: http://forge.ocamlcore.org/projects/lablgtk/

Files: *
Copyright: Jacques Garrigue    <garrigue@math.nagoya-u.ac.jp>
           Benjamin Monate     <benjamin.monate@free.fr>
           Olivier Andrieu     <oandrieu@nerim.net>
           Adrien Nader        <camaradetux@gmail.com>
           Jun Furuse          <jun.furuse@gmail.com>
           Maxence Guesdon     <maxence.guesdon@inria.fr>
           Stefano Zacchiroli  <zack@cs.unibo.it>
	   Hugo Herbelin       <Hugo.Herbelin@inria.fr>
	   Claudio Sacerdoti Coen <claudio.sacerdoticoen@inria.fr>
           Hubert Fauque       <hubert.fauque@wanadoo.fr>
           Koji Kagawa         <kagawa@eng.kagawa-u.ac.jp>
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 <garrigue@math.nagoya-u.ac.jp>
           Benjamin Monate  <benjamin.monate@free.fr>
           Olivier Andrieu  <oandrieu@nerim.net>
	   Jun Furuse       <Jun.Furuse@inria.fr>
           Hubert Fauque    <hubert.fauque@wanadoo.fr>
           Koji Kagawa      <kagawa@eng.kagawa-u.ac.jp>
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 <ecc@cmu.edu>
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 <zack@cs.unibo.it>
           2006 Maxence Guesdon <maxence.guesdon@inria.fr>
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'.