Hi all, it seems as if the problems that caused #340279 were either only intermittent, or have been solved meanwhile: Both planner and mysql-dfsg-5.0 have been built again in the last couple of days, and in both cases tetex-bin could be installed fine (although mysql failed for different reasons).
Do you agree that we can close this bug? Regards, Frank -- Frank Küster Inst. f. Biochemie der Univ. Zürich Debian Developer