z3/python-z3-solver-4.13.0-1-x86_64.pkg.tar.zst build reproducible in our test framework:
3cfdbc82919325e6e54164ed52f345febca0eea9845496e77aedaf4b5c3f2a52 python-z3-solver-4.13.0-1-x86_64.pkg.tar.zst
f6360558705488f97d6d20dd2f9f349181760d617b847c58564f80961bec15f3 python-z3-solver-4.13.0-1-x86_64.pkg.tar.zst-b1.BUILDINFO.txt
f6360558705488f97d6d20dd2f9f349181760d617b847c58564f80961bec15f3 python-z3-solver-4.13.0-1-x86_64.pkg.tar.zst-b2.BUILDINFO.txt