Processing commands for control@bugs.debian.org: > severity 185818 normal Bug#185818: tetex-bin: dvips Segmentation fault Severity set to `normal'. > tags 185818 moreinfo Bug#185818: tetex-bin: dvips Segmentation fault There were no tags set. Tags added: moreinfo > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)