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

[Stefano Zacchiroli]

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

    mention debian/copyright changes

diff --git a/debian/changelog b/debian/changelog
index 0a8250f..513c4b2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,7 @@ dose2 (1.3-2) UNRELEASED; urgency=low
 
   * debian/control: add missing deps on librpm-dev and libgdbm-dev from the
     -dev package
+  * debian/copyright: add specific licensing information for satsolver/*
   * install *.cmi-s under STDLIB/dose2/, rather then STDLIB/ directly
 
  -- Stefano Zacchiroli <zack at debian.org>  Tue, 03 Jun 2008 14:56:41 +0200

-- 
dose2 packaging