[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201-12-gde8b0d6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 768a3607da6aa1e4731ff1feb9419383e7063567
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue May 19 20:45:31 2009 +0200

    Update copyright file

diff --git a/debian/copyright b/debian/copyright
index ae30b2b..96700bf 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -28,9 +28,12 @@ Copyright: © 2007-2008 CEA (Commissariat à l'Énergie Atomique)
 Licence: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
-Files: cil/ocamlutil/*.ml*, cil/src/*.ml*, cil/src/ext/*.ml*, 
-  cil/src/ext/pta/*.ml*, cil/src/frontc/*.ml*
-Copyright: © 2001-2005 George C. Necula, Scott McPeak, Wes Weimer and Ben Liblit
+Files: cil/*
+Copyright: © 2001-2005,
+ George C. Necula    <necula at cs.berkeley.edu>
+ Scott McPeak        <smcpeak at cs.berkeley.edu>
+ Wes Weimer          <weimer at cs.berkeley.edu>
+ Ben Liblit          <liblit at cs.wisc.edu>
 Licence: BSD-3
   See `/usr/share/common-licenses/BSD'.
 

-- 
frama-c packaging