Sorry for all the spam, but I guess the right target for this bug is maybe the package "tetex-bin" or "tetex-base".
Sorry for all the spam, but I guess the right target for this bug is maybe the package "tetex-bin" or "tetex-base".