Processing commands for control@bugs.debian.org: > severity 79540 fixed Bug#79540: libkpathsea3: should provide tetex-lib Severity set to `fixed'. > quit Stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database)