community/z3: tests fail on s390x

Builder is stuck with

PASS
(test dl_util :time 0.00 :before-memory 33.08 :after-memory 33.08)
ASSERTION VIOLATION
File: /home/buildozer/aports/community/z3/src/z3-z3-4.10.2/src/test/dl_product_relation.cpp
Line: 68
Failed to verify: t0->get_size_estimate_rows()==2

4.10.2.0
Please file an issue with this message and more detail about how you encountered it at https://github.com/Z3Prover/z3/issues/new
>>> ERROR: z3: check failed

So aport is disabled for s390x 3dca6168

Edited Jul 31, 2022 by Andy Postnikov

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information