Package: docker Version: 1.5-1+b1 Severity: normal In #740863 the installed binary was renamed to 'wmdocker' so that there's no name clash with docker.io's command line tool (the containerization tool). When reading that old bug report, it was also about the (binary) package name together with the binary itself which causes confusion, but only installed binary was renamed, not the package itself.
Therefore I request the binary package provided here to be renamed to 'wmdocker' as per the binary it installs according to the standard package renaming procedures of the policy and https://wiki.debian.org/RenamingPackages
