This package was debianized by Stefano Zacchiroli <zack@debian.org> on
Mon, 13 Oct 2008 14:14:06 +0200.
It was downloaded from <http://batteries.forge.ocamlcore.org>
Files: *
Copyright: © 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
As a special exception to the GNU Lesser 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 Lesser 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 3 of the GNU Lesser General Public
License. This exception does not however invalidate any other
reasons why the executable file might be covered by the GNU Lesser
General Public License.
The Library is distributed under the terms of the GNU Lesser General
Public License as published by the Free Software Foundation; either
version 2.1, or (at your option any later version), with the special
exception on linking reported above.
The full text of the GNU Lessere General Public License version 2.1
can be found in `/usr/share/common-licenses/LGPL-2.1'.
Different copyright owners apply to specific sub-part of the library;
they are listed below. Unless otherwise stated, licenses for those
sub-parts are the same as above: LGPL with linking exception (i.e.,
LGPL-2.1+ | other).
Files: build/odoc_generator_batlib.ml
Copyright: © 2008 David Teller, LIFO, Universite d'Orleans
© 2008 Maxence Guesdon
License: LGPL-2.1+ | other
Files: */batlib_Baselib_Arg.mli, */batlib_Baselib_Gc.mli,
*/batlib_Baselib_Lazy.mli, */batlib_Baselib_Random.mli,
*/batlib_Baselib_Weak.mli
Copyright: © 1996-2008 Damien Doligez, projet Para, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_Condition.mli, */batlib_Baselib_Mutex.mli
Copyright: © 1996-2008 Damien Doligez, projet Para, INRIA Rocquencourt
© 1996-2008 Xavier Leroy, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_Thread.mli
Copyright: © 1996-2008 Xavier Leroy, projet Cristal, INRIA Rocquencourt
© 1996-2008 Pascal Cuoq, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_Event.mli
Copyright: © 1996-2008 David Nowak, projet Cristal, INRIA Rocquencourt
© 1996-2008 Xavier Leroy, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_ArrayLabels.mli,
*/batlib_Baselib_Callback.mli, */batlib_Baselib_CamlinternalMod.mli,
*/batlib_Baselib_Char.mli, */batlib_Baselib_Complex.mli,
*/batlib_Baselib_Digest.mli, */batlib_Baselib_Filename.mli,
*/batlib_Baselib_Genlex.mli, */batlib_Baselib_Int*.mli,
*/batlib_Baselib_Lexing.mli, */batlib_Baselib_ListLabels.mli,
*/batlib_Baselib_Map.mli, */batlib_Baselib_Marshal.mli,
*/batlib_Baselib_Nativeint.mli, */batlib_Baselib_Big_Obj.mli,
*/batlib_Baselib_Parsing.mli, */batlib_Baselib_Pervasives.mli,
*/batlib_Baselib_Printexc.mli, */batlib_Baselib_Queue.mli,
*/batlib_Baselib_Set.mli, */batlib_Baselib_Stack.mli,
*/batlib_Baselib_StringLabels.mli, */batlib_Baselib_Str.mli,
*/batlib_Baselib_Sys.mli, */batlib_Baselib_UnixLabels.mli,
*/batlib_Baselib_Unix.mli
Copyright: © 1996-2008 Xavier Leroy, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_BigArray.mli
Copyright: © 1996 Manuel Serrano, projet Cristal, INRIA Rocquencourt
© 1996 Xavier Leroy, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_Big_int.mli, */batlib_Baselib_Num.mli
Copyright: © 1996 Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_Buffer.mli, */batlib_Baselib_Printf.mli
Copyright: © 1996 Pierre Weis, projet Cristal, INRIA Rocquencourt
© 1996 Xavier Leroy, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_CamlinternalOO.mli, */batlib_Baselib_Oo.mli
Copyright: © 1996 Jerome Vouillon, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_Format.mli, */batlib_Baselib_Scanf.mli
Copyright: © 1999 Pierre Weis, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */batlib_Baselib_HashtblLabels.mli, */batlib_Baselib_MapLabels.mli, */batlib_Baselib_SetLabels.mli
Copyright: © 2001 Jacques Garrigue, Kyoto University RIMS
License: LGPL-2.1+ | other
Files: */batlib_Baselib_Stream.mli
Copyright: © 1997 Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt
License: LGPL-2.1+ | other
Files: */extlib/*
Copyright: © 2003 Nicolas Cannasse
License: LGPL-2.1+ | other
Files: */extlib/bitSet.ml*, */extlib/enumLabels.mli,
*/extlib/enum.ml*, */extlib/global.mli, */extlib/IO.ml,
*/extlib/option.ml*, */extlib/std.mli
Copyright: © 2003 Nicolas Cannasse
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extArray.ml
Copyright: © 2005 Richard W.M. Jones
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extArray.mli
Copyright: © 1996 Xavier Leroy
© 2005 Richard W.M. Jones
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/dllist.ml*
Copyright: © 2004 Brian Hurt
© 2004 Jesse Guardiani
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/dynArray.ml*
Copyright: © 2003 Brian Hurt
© 2003 Nicolas Cannasse
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extBig_int.ml, */extlib/extBool.ml*,
*/extlib/extComplex.ml*, */extlib/extFloat.ml*, */extlib/extInt32.ml,
*/extlib/extInt64.ml, */extlib/extInt.ml, */extlib/number.ml*
Copyright: © 2007 Bluestorm
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extInt64.mli, */extlib/extNativeint.ml
Copyright: © 2005 Damien Doligez
© 2007 Bluestorm
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extBig_int.mli, */extlib/extInt.mli, */extlib/extNum.ml
Copyright: © 2007 Gabriel Scherer
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extChar.ml*
Copyright: © 1996 Xavier Leroy
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extInt32.mli, */extlib/extNativeint.mli
Copyright: © 1996 Xavier Leroy
© 2007 Bluestorm
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extGenlex.ml*
Copyright: © 2002 Jacques Garrigue
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extHashtbl.ml*
Copyright: © 1996 Xavier Leroy
© 2003 Nicolas Cannasse
© 2005 Damien Doligez
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extList.ml*
Copyright: © 2003 Brian Hurt
© 2003 Nicolas Cannasse
© 2008 Red Hat Inc.
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extNum.mli
Copyright: © 1996 Valerie Menissier-Morain
© 2008 Gabriel Scherer
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extRandom.ml*
Copyright: © 1996 Damien Doligez
© 2008 Damien Teller
License: LGPL-2.1+ | other
Files: */extlib/extStream.ml*
Copyright: © 1997 Daniel de Rauglaudre
© 2007 Zheng Li
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/std.ml
Copyright: © 2003 Nicolas Cannasse
© 2007 Markus Mottl
© 2007 Zheng Li
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extString.ml
Copyright: © 2003 Nicolas Cannasse
© 2008 David Teller, LIFO, Universite d'Orleans
© 2008 Edgar Friendly
License: LGPL-2.1+ | other
Files: */extlib/extString.mli
Copyright: © 1996 Xavier Leroy, INRIA, Rocquencourt
© 2003 Nicolas Cannasse
© 2008 David Teller, LIFO, Universite d'Orleans
© 2008 Edgar Friendly
License: LGPL-2.1+ | other
Files: */extlib/extUTF8.ml
Copyright: © 2008 Edgar Friendly
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extUTF8.mli
Copyright: © 2002-2003 Yamagata Yoriyuki
© 2008 Edgar Friendly
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */extlib/extUChar.ml*
Copyright: © 2002-2003 Yamagata Yoriyuki
License: LGPL-2.1+ | other
Files: */extlib/IO.mli
Copyright: © 2003 Nicolas Cannasse
© 2008 David Teller, LIFO, Universite d'Orleans
© 2008 Philippe Strauss
© 2008 Edgar Friendly
License: LGPL-2.1+ | other
Files: */extlib/optParse.ml*
Copyright: © 2004 Bardur Arantsson
License: LGPL-2.1+ | other
Files: */extlib/pMap.ml*
Copyright: © 1996-2003 Xavier Leroy
© 1996-2003 Nicolas Cannasse
© 1996-2003 Markus Mottl
License: LGPL-2.1+ | other
Files: */extlib/rope.ml*
Copyright: © 2007 Mauricio Fernandez
© 2008 Edgar Friendly
License: LGPL-2.1+ | other
Files: */extlib/vect.ml*
Copyright: © 2007 Mauricio Fernandez
License: LGPL-2.1+ | other
Files: */toolchain/batlib_Camlp4_PreCast.mli,
*/toolchain/batlib_Camlp4_Sig.ml*
Copyright: © 1996 Daniel de Rauglaudre
© 2006 Nicolas Pouillard
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */toolchain/batlib_Findlib_Findlib.mli
Copyright: © 1999 Gerd Stolpmann
License: other
The package "findlib" is copyright by Gerd Stolpmann.
Permission is hereby granted, free of charge, to any person obtaining
a copy of this document and the "findlib" software (the "Software"),
to deal in the Software without restriction, including without
limitation the rights to use, copy, modify, merge, publish,
distribute, sublicense, and/or sell copies of the Software, and to
permit persons to whom the Software is furnished to do so, subject to
the following conditions:
The above copyright notice and this permission notice shall be
included in all copies or substantial portions of the Software.
The Software is provided ``as is'', without warranty of any kind,
express or implied, including but not limited to the warranties of
merchantability, fitness for a particular purpose and
noninfringement. In no event shall Gerd Stolpmann be liable for any
claim, damages or other liability, whether in an action of contract,
tort or otherwise, arising from, out of or in connection with the
Software or the use or other dealings in the software.
Files: */toolchain/batlib_Sexp_Conv.ml*
Copyright: © 2005 Markus Mottl
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */toolchain/batteries_type_conv.ml
Copyright: © 2005-2008 Jane Street Holding, LLC
© 2005-2008 Markus Mottl
© 2004-2005 Martin Sandin
License: LGPL-2.1+ | other
Files: */toolchain/batteries_type_conv.mli
Copyright: © 2005-2008 Jane Street Holding, LLC
© 2005-2008 Markus Mottl
© 2004-2005 Martin Sandin
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */syntax/pa_openin/*
Copyright: © 2006 Alain Frisch
© 2007 Till Varoquaux
© 2008 Gabriel Scherer
© 2008 David Teller, LIFO, Universite d'Orleans
License: LGPL-2.1+ | other
Files: */syntax/pa_where/*
Copyright: © 2007 Mauricio Fernandez
© 2007 Bluestorm
License: LGPL-2.1+ | other
Files: debian/*
Copyright: © 2008 Stefano Zacchiroli <zack@debian.org>
License: GPL-3+
The Debian packaging is copyright Stefano Zacchiroli, and licensed
under the GNU General Public License, see
`/usr/share/common-licenses/GPL-3' for the full text.