The following commit has been merged in the master branch:
commit 8518dec791d70563ff94b60a7988b0960e2255f6
Author: Ralf Treinen <>
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 
  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 
similarity index 100%
rename from debian/dose3-extra-tools.manpages
rename to debian/edos-extra-tools.manpages

dose3 packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to