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-10-20 20:01:54.970567462 +0200
+++ dose3/applications/deb-coinstall.ml	2014-10-20 20:02:19.098567853 +0200
@@ -256,5 +256,5 @@
 ;;
 
 StdUtils.if_application
-~alternatives:["dose-debcoinstall";"deb-coinstall"] __FILE__ main ;;
+~alternatives:["dose-deb-coinstall";"deb-coinstall"] __FILE__ main ;;
 
