This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository ocaml-visitors.
commit 80e3450132b8bfcd339228bfadc9cbf4176146b1 Author: Ralf Treinen <trei...@irif.fr> Date: Thu Jul 6 12:52:52 2017 +0200 d/copyright: files in test/ under BSD license --- debian/changelog | 2 +- debian/copyright | 35 +++++++++++++++++++++++++++++++++++ 2 files changed, 36 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index ed926f2..c55b938 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,4 +2,4 @@ ocaml-visitors (20170404-1) unstable; urgency=medium * Initial upload (closes: #862775) - -- Ralf Treinen <trei...@debian.org> Tue, 30 May 2017 07:46:45 +0200 + -- Ralf Treinen <trei...@debian.org> Thu, 06 Jul 2017 12:52:24 +0200 diff --git a/debian/copyright b/debian/copyright index 776c6f0..944fd17 100644 --- a/debian/copyright +++ b/debian/copyright @@ -13,6 +13,41 @@ Files: debian/* Copyright: © 2017 Ralf Treinen <trei...@debian.org> License: LGPL-2.1 +Files: test/cil_types.ml test/cil_types.ml.orig test/cil_types_polymorphic.ml +Copyright: (C) 2001-2003 + George C. Necula <nec...@cs.berkeley.edu> + Scott McPeak <smcp...@cs.berkeley.edu> + Wes Weimer <wei...@cs.berkeley.edu> + Ben Liblit <lib...@cs.berkeley.edu> +License: BSD-3-clause + Redistribution and use in source and binary forms, with or without + modification, are permitted provided that the following conditions + are met: + . + 1. Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + . + 2. Redistributions in binary form must reproduce the above copyright + notice, this list of conditions and the following disclaimer in the + documentation and/or other materials provided with the distribution. + . + 3. The names of the contributors may not be used to endorse or + promote products derived from this software without specific prior + written permission. + . + THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS + FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE + COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, + INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, + BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; + LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER + CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT + LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN + ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + POSSIBILITY OF SUCH DAMAGE. + License: LGPL-2.1 This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-visitors.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits