Package: tetex-base Version: 1.0.2+20000804-1 Severity: normal Now that tetex-nonfree is gone, tetex-base should conflict with tetex-nonfree to force the removal of tetex-nonfree.