Package: multex-bin Version: 0.8.1-7+b1 Severity: normal Hi, multex-bin ships multex.pool in var/lib/texmf/web2c/. As far as I know, this file is not generated at runtime, therefore it is in the wrong TEXMF tree. This can cause problems when tex-common is purged (see http://lists.debian.org/debian-tetex-maint/2006/06/msg00339.html). Please install this file with the other pool files in /usr/share/texmf/web2c/. Thanks. -- Florent