Author: Ralf Treinen <treinen@debian.org>
Description: accept "dose-deb-coinstall" as alternative name of the 
  coinstall binary.

Index: dose3/applications/deb-coinstall.ml
===================================================================
--- dose3.orig/applications/deb-coinstall.ml	2014-05-06 08:53:17.634759160 +0200
+++ dose3/applications/deb-coinstall.ml	2014-05-06 19:59:02.267325553 +0200
@@ -255,5 +255,5 @@
 ;;
 
 Boilerplate.if_application
-~alternatives:["dose-debcoinstall";"deb-coinstall"] __FILE__ main ;;
+~alternatives:["dose-deb-coinstall";"deb-coinstall"] __FILE__ main ;;
 
