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

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 96ba2ca75a028ffaaec04dfc160192b06baa8b76
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Mon Jun 16 17:11:59 2008 +0200

    copyright info for satsolver/*

diff --git a/debian/copyright b/debian/copyright
index fdaaf09..bd966b2 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -8,6 +8,11 @@ Copyright: © 2004-2008 Berke Durak
            © 2004-2008 Jaap Boender
 License: LGPL-3+
 
+File: satsolver/*
+Copyright: © 2005 Jerome Vouillon
+           © 2004-2008 Jaap Boender
+License: LGPL-3+
+
 Dose2 program is free software: you can redistribute it and/or modify it under
 the terms of the GNU Lesser General Public License as published by the Free
 Software Foundation, either version 3 of the License, or (at your option) any

-- 
dose2 packaging