https://bugzilla.redhat.com/show_bug.cgi?id=1206826 --- Comment #11 from Jerry James <loganjerry@xxxxxxxxx> --- Yesterday, z3 built successfully in mock for both i386 and x86_64. Today, it is failing in koji with a segfault while running the tests on i386, although x86_64 still succeeds. The immediate suspect is gcc, which changed from version 5.0.1-0.2 yesterday to version 5.1.1-1 today, but I don't know for sure that has anything to do with it. I can reproduce the problem by doing a mock build with the "local" repo enabled, which pulls the latest builds from kojipkgs.fedoraproject.org. Anyway, this package will unfortunately not be built until somebody (me, I suspect) has time to figure out what is going on, or until another package update magically fixes the problem without me needing to dig into it. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review