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	2015-08-26 20:33:28.801372352 +0200
+++ dose3/applications/deb-coinstall.ml	2015-08-26 20:34:06.173449333 +0200
@@ -251,5 +251,5 @@
 ;;
 
 StdUtils.if_application
-~alternatives:["dose-debcoinstall";"deb-coinstall"] __label main ;;
+~alternatives:["dose-deb-coinstall";"deb-coinstall"] __label main ;;
 
