I'm just trying to hunt down which packages I should rebuild, and I came across: http://people.debian.org/~jbailey/turtle1/group/Debian/package/adolc/index.html Which doesn't list `tetex-bin' in it's build-depends, so fails. I seem to be unable to report a bug on the package, because reportbug claims it doesn't exist. Is this another one whose source package name changed on me?