[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-15-g4569347

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 8518dec791d70563ff94b60a7988b0960e2255f6
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Feb 7 11:52:27 2012 +0100

    change package name dose3-extra-tools to edos-extra-tools

diff --git a/debian/changelog b/debian/changelog
index 973efd2..8b1bd51 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,8 @@ dose3 (2.9.10-1) UNRELEASED; urgency=low
 
   * New upstream release
   * The ceve package has disapperaed, we have instaed now a new package
-    dose3-extra-tools that will contain all tols that do not deserve
-    their own package (for the moment: ceve and outdated).
+    edos-extra-tools that will contain all tools that do not deserve
+    their own package (for the moment: ceve, outdated, challenged).
   * debian/rules: configuration option --with-rpm has become --with-rpm4
   * debian/control:
     - The apt-cudf package now depends first on aspcud before the virtual
diff --git a/debian/control b/debian/control
index b7adab9..2d299b1 100644
--- a/debian/control
+++ b/debian/control
@@ -84,7 +84,7 @@ Description: Checks whether build-dependencies can be satisfied
  edos-distcheck. Until then, the name of the package or of the binary,
  as well as command line options and output format, are subject to change.
 
-Package: dose3-extra-tools
+Package: edos-extra-tools
 Section: devel
 Architecture: any
 Provides: ceve
diff --git a/debian/dose3-extra-tools.NEWS b/debian/edos-extra-tools.NEWS
similarity index 100%
rename from debian/dose3-extra-tools.NEWS
rename to debian/edos-extra-tools.NEWS
diff --git a/debian/dose3-extra-tools.install b/debian/edos-extra-tools.install
similarity index 100%
rename from debian/dose3-extra-tools.install
rename to debian/edos-extra-tools.install
diff --git a/debian/dose3-extra-tools.manpages b/debian/edos-extra-tools.manpages
similarity index 100%
rename from debian/dose3-extra-tools.manpages
rename to debian/edos-extra-tools.manpages

-- 
dose3 packaging