After an apt-get update + apt-get upgrade, some packages were updated, but tetex-bin was held back. How can I determine the reason for this? -- Email: Joerg Desch <jd DOT vvd AT web DOT de>