Processing commands for [email protected]: > retitle 789881 z3: FTBFS on !x86: "emmintrin.h: No such file or directory" Bug #789881 [z3] z3: FTBFS on mipsel "emmintrin.h: No such file or directory" Changed Bug title to 'z3: FTBFS on !x86: "emmintrin.h: No such file or directory"' from 'z3: FTBFS on mipsel "emmintrin.h: No such file or directory"' > severity 789881 important Bug #789881 [z3] z3: FTBFS on !x86: "emmintrin.h: No such file or directory" Severity set to 'important' from 'serious' > thanks Stopping processing here.
Please contact me if you need assistance. -- 789881: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789881 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
