Florent Rougon <f.rougon@free.fr> wrote: > What does 'dpkg -l tetex-base' say? Well, that one was at the end of the report (if it was done from the right machine), sorry: ii tetex-base 3.0-10 Basic library files of teTeX -- Florent