Bug#443929: gcc-4.2: Should downgrade libmudflap-dev to Suggests
Since libmudflap0-4.2-dev is not used in the normal use case for gcc, it
doesn't seem to me to satisfy the criterion for Recommends that it should be
installed with gcc-4.2 in all but unusual installations.
Also, with the corresponding Recommends in gcc-4.1, it is currently impossible
to satisfy the Recommends for both gcc-4.1 and gcc-4.2 simultaneously, which
would conflict with the (proposed?) release goal of making all Recommends
satisfiable within main.