This is an automated email from the git hooks/post-receive script.

bengen pushed a commit to branch master
in repository janest-core-kernel.

commit 2004850723d295d8807ad66c9193b6987f41fae7
Author: Hilko Bengen <>
Date:   Sun Jan 31 10:14:18 2016 +0100

    Update copyright
 debian/copyright | 58 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)

diff --git a/debian/copyright b/debian/copyright
index 6d0b0a5..4b77aff 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -7,6 +7,15 @@ Files: *
 Copyright: 2008-2015 Jane Street Capital LLC <>
 License: Apache-2.0
+Files: src/
+Copyright: 1999-2005 Henry Cejtin, Matthew Fluet, Suresh Jagannathan, Stephen 
+License: MLton
+Files: src/ src/core_gc.mli src/core_random.mli
+Copyright: 1996 Institut National de Recherche en Informatique et en 
+License: LGPL-2-INRIA
 Files: debian/*
 Copyright: Hilko Bengen <>
 License: Apache-2.0
@@ -23,3 +32,52 @@ License: Apache-2.0
  The full text of the Apache 2.0 License can be found in
+License: MLton
+ Permission to use, copy, modify, and distribute this software and its
+ documentation for any purpose and without fee is hereby granted,
+ provided that the above copyright notice appear in all copies and
+ that both the copyright notice and this permission notice and
+ warranty disclaimer appear in supporting documentation, and that the
+ name of the above copyright holders, or their entities, not be used
+ in advertising or publicity pertaining to distribution of the
+ software without specific, written prior permission.
+ .
+ The above copyright holders disclaim all warranties with regard to
+ this software, including all implied warranties of merchantability
+ and fitness. In no event shall the above copyright holders be liable
+ for any special, indirect or consequential damages or any damages
+ whatsoever resulting from loss of use, data or profits, whether in an
+ action of contract, negligence or other tortious action, arising out
+ of or in connection with the use or performance of this software.
+License: LGPL-2-INRIA
+ This package is free software; you can redistribute it and/or
+ modify it under the terms of the GNU Lesser General Public
+ License as published by the Free Software Foundation; either
+ version 2 of the License, or (at your option) any later version.
+ .
+ This package is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ Lesser General Public License for more details.
+ .
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <>.
+ .
+ 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 Lesser General
+ Public License can be found in "/usr/share/common-licenses/LGPL-2".

Alioth's /usr/local/bin/git-commit-notice on 

Pkg-ocaml-maint-commits mailing list

Reply via email to