haskell-tamarin-prover-export/haskell-tamarin-prover-export-debug-1.8.0-40-x86_64.pkg.tar.zst build reproducible in our test framework:
0ce414d901f53d2a066444ba6fa5729a6a940c8ae27d3bb5eb6b26290e26569a haskell-tamarin-prover-export-debug-1.8.0-40-x86_64.pkg.tar.zst
aee12d826fbd249cda90cd4fce171fb0ea7d9113521112a8b8c5176c1e578dce haskell-tamarin-prover-export-debug-1.8.0-40-x86_64.pkg.tar.zst-b1.BUILDINFO.txt
aee12d826fbd249cda90cd4fce171fb0ea7d9113521112a8b8c5176c1e578dce haskell-tamarin-prover-export-debug-1.8.0-40-x86_64.pkg.tar.zst-b2.BUILDINFO.txt