Package: tetex-extra Version: 2.0-1 Severity: normal Hi, dpkg currently fails installing tetex-extra because of a file that is also in tetex-base 1.0.7. Could you add an appropriate Replaces: field? Simon -- GPG Fingerprint: 040E B5F7 84F1 4FBC CEAD ADC6 18A0 CC8D 5706 A4B4