[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. debian/1.3-1-16-g54647b3

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit a9ffce26a750cc15c46b4d1aee6b00dcdbc6c18b
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Jul 17 16:21:20 2008 +0200

    add Inria Rocquencourt as copyright owner
    
    * debian/copyright
      - add specific licensing information for satsolver/*
      - add Inria Rocquencourt as copyright owner

diff --git a/debian/changelog b/debian/changelog
index c0a257e..dc404d0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,7 +4,9 @@ dose2 (1.3.2-1) experimental; urgency=low
     - clarify licensing/copyright issues
   * debian/control: add missing deps on librpm-dev and libgdbm-dev from the
     -dev package
-  * debian/copyright: add specific licensing information for satsolver/*
+  * debian/copyright
+    - add specific licensing information for satsolver/*
+    - add Inria Rocquencourt as copyright owner
   * install *.cmi-s under STDLIB/dose2/, rather then STDLIB/ directly
 
  -- Stefano Zacchiroli <zack at debian.org>  Thu, 17 Jul 2008 16:18:16 +0200
diff --git a/debian/copyright b/debian/copyright
index b5ff571..48f9375 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -6,6 +6,7 @@ It was downloaded from <http://gforge.inria.fr/projects/sodiac/>
 Files: *
 Copyright: © 2004-2008 Berke Durak
            © 2004-2008 Jaap Boender
+           © 2004-2008 Inria Rocquencourt
 License: LGPL-3+
 
 File: satsolver/*

-- 
dose2 packaging