[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 9a6b783222f0c3359990641ac2275a2c0f0125cc
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Jul 17 16:19:18 2008 +0200

    new upstream release
    
    * new upstream release
      - clarify licensing/copyright issues

diff --git a/debian/changelog b/debian/changelog
index 513c4b2..c0a257e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,11 +1,13 @@
-dose2 (1.3-2) UNRELEASED; urgency=low
+dose2 (1.3.2-1) experimental; urgency=low
 
+  * new upstream release
+    - 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/*
   * install *.cmi-s under STDLIB/dose2/, rather then STDLIB/ directly
 
- -- Stefano Zacchiroli <zack at debian.org>  Tue, 03 Jun 2008 14:56:41 +0200
+ -- Stefano Zacchiroli <zack at debian.org>  Thu, 17 Jul 2008 16:18:16 +0200
 
 dose2 (1.3-1) experimental; urgency=low
 

-- 
dose2 packaging