https://bugzilla.redhat.com/show_bug.cgi?id=1850262
--- Comment #5 from Jerry James <[email protected]> --- (In reply to dan.cermak from comment #3) > - The package's tests fails on i686, armv7hl and s390x: > https://koji.fedoraproject.org/koji/taskinfo?taskID=46161272 Upstream has deliberately caused a test failure on big endian architectures. I will see if the code is easy to port and submit a patch upstream if it is. Otherwise, I'll have to add ExcludeArch: s390x and do likewise for the kissat dependency in cvc4. I don't yet know what's going on with the 32-bit architectures, but will look into that next. -- 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 -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]
