Cómo desinstalar cobertura en Debian Unstable (Sid)