retitle 789881 z3: FTBFS on !x86: "emmintrin.h: No such file or directory" severity 789881 important thanks
* Gustavo Prado Alkmim <alk...@ic.unicamp.br> [2015-06-25 05:35]: > Package: z3 > Version: 4.4.0-1 > Severity: serious I get the same on arm64. Not that this is not a serious bug, though. It's only serious if it has built on a particular before and no longer builds -- but it seesm z3 has never built on mipsel, arm64 and other arches. -- Martin Michlmayr Linux for HP Helion OpenStack, Hewlett-Packard -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
