Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Packaged-By: Mehdi Dogguy <mehdi@debian.org>
Packaged-Date: Wed, 10 Sept 2014 22:52:00 +0200

Files: *
Copyright: © 2014 Marco Danelutto
           © 2014 Roberto Di Cosmo
License: LGPL-2-with-linking-exception

Files: src/bytearray.ml src/bytearray.mli src/bytearray_stubs.c
Copyright: © 1999-2011 Jérôme Vouillon
License: LGPL-2-with-linking-exception

Files: tests/*
Copyright: © 2014 Roberto Di Cosmo
License: GPL-2+

Files: example/*
Copyright: © 2014 Marco Danelutto
           © 2014 Roberto Di Cosmo
License: GPL-2+

Files: debian/*
Copyright: © 2014 Mehdi Dogguy <mehdi@debian.org>
           © 2020 Stéphane Glondu <glondu@debian.org>
License: LGPL-2+

License: GPL-2+
  See `/usr/share/common-licenses/GPL-2'.

License: LGPL-2+
  See `/usr/share/common-licenses/LGPL-2'.

License: LGPL-2-with-linking-exception
 The Library is distributed under the terms of the GNU Library General
 Public License version 2 (included below), with a special exception
 to section 6, as detailed below.
 .
 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 the authors,
 or a modified version of the Library that is distributed under the
 conditions defined in clause 2 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.
 .
 See `/usr/share/common-licenses/LGPL-2' for the complete text of
 the GNU Library General Public License version 2.
