[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090902+beryllium+dfsg-6-16-gdbbc991

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit dc92c013e46d4207da71f36ae68b95ea31c0c0d1
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Apr 27 10:43:03 2010 +0200

    Update copyright file

diff --git a/debian/changelog b/debian/changelog
index 9be6aad..ea21c86 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -19,8 +19,9 @@ frama-c (20100401+boron+dfsg-1) UNRELEASED; urgency=low
   * Fix watch file
   * Update 'Homepage' field
   * Bump Standards Version to 3.8.4, no changes needed.
+  * Update copyright file
 
- -- Mehdi Dogguy <mehdi at debian.org>  Mon, 26 Apr 2010 21:12:24 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 27 Apr 2010 10:42:43 +0200
 
 frama-c (20090902+beryllium+dfsg-5) unstable; urgency=low
 
diff --git a/debian/copyright b/debian/copyright
index 8b9122f..febd2a1 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -5,7 +5,7 @@ Original-Source-Location: http://frama-c.cea.fr/download.html
 Upstream-Author: Software Reliability Laboratory (LSL) and INRIA ProVal project
 
 Files: debian/*
-Copyright: © 2008-2009 Mehdi Dogguy <dogguy at pps.jussieu.fr>
+Copyright: © 2008-2010 Mehdi Dogguy <mehdi at debian.org>
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
@@ -23,28 +23,23 @@ Files: src/scope/datascope.ml
 Files: src/scope/dpds_gui.ml
 Files: src/scope/zones.ml
 Files: src/scope/zones.mli
-Copyright: © 2007-2009 CEA (Commissariat à l'Énergie Atomique)
-	   © 2007-2009 INRIA (Institut National de Recherche en Informatique et Automatique)
+Copyright: © 2007-2010 CEA (Commissariat à l'Énergie Atomique)
+	   © 2007-2010 INRIA (Institut National de Recherche en Informatique et Automatique)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
 Files: src/lib/rangemap.ml
 Copyright: © 1996 Institut National de Recherche en Informatique et en Automatique
-           © 2007-2009 CEA (Commissariat à l'Énergie Atomique)
+           © 2007-2010 CEA (Commissariat à l'Énergie Atomique)
 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)
+Files: src/aorai/*
+Copyright: © 2007-2010 INSA (Institut National des Sciences Appliquees)
+	   © 2007-2010 INRIA (Institut National de Recherche en Informatique et en Automatique)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
-Files: tests/jessie/minix3_strcpy.c
-Files: tests/jessie/minix3_strlen.c
-Copyright: © 1987 by the Vrije Universiteit, Amsterdam, The Netherlands
-License: GPL-2
-
 Files: tests/minix/*
 Copyright: © 1987, 1997, 2006, Vrije Universiteit, Amsterdam, The Netherlands
 License: BSD-3
@@ -58,6 +53,11 @@ Copyright: © 2002-2006 Jean-François COUCHOT
 	   © 2002-2006 Yannick MOY
 License: GPL-2
 
+Files: share/acsl.el
+Copyright: © 2008 Pierre ROUX
+License: LGPL-2.1
+  See `/usr/share/common-licenses/LGPL-2.1'.
+
 Files: share/Makefile.plugin
 Files: src/kernel/*.ml*
 Files: src/misc/*.ml*
@@ -98,7 +98,7 @@ Files: share/Makefile.dynamic_config.internal
 Files: src/ai/ival.ml
 Files: src/ai/ival.mli
 Files: src/dummy/*
-Copyright: © 2007-2009 CEA (Commissariat à l'Énergie Atomique)
+Copyright: © 2007-2010 CEA (Commissariat à l'Énergie Atomique)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
@@ -112,8 +112,8 @@ Files: doc/code/*
 Files: man/frama-c.1
 Files: share/why/*
 Files: src/sparecode/*.ml*
-Copyright: © 2007-2009 CEA (Commissariat à l'Énergie Atomique)
-           © 2007-2009 INRIA (Institut National de Recherche en Informatique et en Automatique)
+Copyright: © 2007-2010 CEA (Commissariat à l'Énergie Atomique et aux énergies alternatives)
+           © 2007-2010 INRIA (Institut National de Recherche en Informatique et en Automatique)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
@@ -132,10 +132,15 @@ Copyright: © 2001-2005 George C. Necula <necula at cs.berkeley.edu>
 License: BSD-3
   See `/usr/share/common-licenses/BSD'.
 
-Files: tests/idtc/*
+Files: tests/idct/*
 Copyright: © 2001 Renaud Pacalet
 License: GPL-2+
 
+Files: external/unmarshal*
+Copyright: © 2009-2010 Institut National de Recherche en Informatique et en Automatique
+License: BSD-3
+  See `/usr/share/common-licenses/BSD'.
+
 Files: external/ptmap.ml
 Files: external/ptmap.mli
 Copyright: © 2005 Institut National de Recherche en Informatique et en Automatique

-- 
frama-c packaging