Here I see two issues:
1. /usr/bin/coverage is not installed; 2. "--help output references wrong executable name".
The first should be fixed in the Debian/Ubuntu packaging. The latter should be fixed upstream.
Here I see two issues:
1. /usr/bin/coverage is not installed;
2. "--help output references wrong executable name".
The first should be fixed in the Debian/Ubuntu packaging. The latter should be fixed upstream.