listing installed packages to track down coverage problems