This package was debianized by Stefano Zacchiroli on Mon, 13 Oct 2008 14:14:06 +0200. It was downloaded from 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 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.