Re: auto-deconfigure is not transitive

[Florent Rougon <f.rougon@free.fr>]

Ian Jackson wrote ("auto-deconfigure is not transitive"):

> This counterexample shows that we don't [preserve]
>   B <-Depends- C && installed(C) => installed(B)
> as an invariant in general

This is something that bothers me. Basically, it means there is no way
to programmatically check (e.g., from a maintainer script) whether a
given package is actually usable! :-/
Or am I mistaken?

For a real issue where this is a concern, see:

  http://lists.debian.org/debian-tex-maint/2006/08/msg00052.html  

Regards,

-- 
Florent