[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090901+beryllium+dfsg-2-13-g9f4d396

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 33dc35bf5f7afd1b1c20f32e82cccbb758690d7c
Author: Mehdi Dogguy <mehdi at 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 <mehdi at 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