The following commit has been merged in the master branch: commit 33dc35bf5f7afd1b1c20f32e82cccbb758690d7c Author: Mehdi Dogguy <me...@debian.org> Date: Sun Jan 10 16:21:44 2010 +0100
Update copyright file diff --git a/debian/changelog b/debian/changelog index 054d990..5a90cd9 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,7 @@ frama-c (20090902+beryllium+dfsg-1) UNRELEASED; urgency=low * New upstream release + * Update copyright file -- Mehdi Dogguy <me...@debian.org> Sun, 10 Jan 2010 15:56:17 +0100 diff --git a/debian/copyright b/debian/copyright index 8b9ac8f..8b9122f 100644 --- a/debian/copyright +++ b/debian/copyright @@ -34,11 +34,6 @@ Copyright: © 1996 Institut National de Recherche en Informatique et en Automati License: LGPL-2.1 See `/usr/share/common-licenses/LGPL-2.1'. -Files: src/jessie/*.ml* -Copyright: © 2007-2009 INRIA (Institut National de Recherche en Informatique et Automatique) -License: LGPL-2.1 - See `/usr/share/common-licenses/LGPL-2.1'. - Files: src/ltl_to_acsl/* Copyright: © 2007-2009 INRIA (Institut National de Recherche en Informatique et Automatique) © 2007-2009 INSA (Institut National des Sciences Appliquees) @@ -54,24 +49,20 @@ Files: tests/minix/* Copyright: © 1987, 1997, 2006, Vrije Universiteit, Amsterdam, The Netherlands License: BSD-3 -Files: tests/jessie/* Files: tests/spec/purse.c -Copyright: © 2002-2008 Romain BARDOU - © 2002-2008 Jean-François COUCHOT - © 2002-2008 Mehdi DOGGUY - © 2002-2008 Jean-Christophe FILLIÂTRE - © 2002-2008 Thierry HUBERT - © 2002-2008 Claude MARCHÉ - © 2002-2008 Yannick MOY - © 2002-2008 Christine PAULIN - © 2002-2008 Yann RÉGIS-GIANAS - © 2002-2008 Nicolas ROUSSET - © 2002-2008 Xavier URBAIN +Copyright: © 2002-2006 Jean-François COUCHOT + © 2002-2006 Mehdi DOGGUY + © 2002-2006 Jean-Christophe FILLIÂTRE + © 2002-2006 Thierry HUBERT + © 2002-2006 Claude MARCHÉ + © 2002-2006 Yannick MOY License: GPL-2 Files: share/Makefile.plugin Files: src/kernel/*.ml* Files: src/misc/*.ml* +Files: src/misc/*.c +Files: src/misc/*.h Files: src/ai/*.ml* Files: src/memory_state/*.ml* Files: src/toplevel/*.ml* -- frama-c packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits