Processing commands for control@bugs.debian.org: > tags 603335 + pending Bug #603335 [menhir] menhir: Examples are installed twice Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 603335: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=603335 Debian Bug Tracking System Contact owner@bugs.debian.org with problems