haskell-tamarin-prover-export/haskell-tamarin-prover-export-1.8.0-40-x86_64.pkg.tar.zst build reproducible in our test framework:
45a7af6cb5d7da4ba42eac86cdc1df881cc063c05e245395e8d509643fcb858a haskell-tamarin-prover-export-1.8.0-40-x86_64.pkg.tar.zst
9162e4b08094eedd8304ec6c97da81f989833cacde11aecbea4dec6166b3d6d6 haskell-tamarin-prover-export-1.8.0-40-x86_64.pkg.tar.zst-b1.BUILDINFO.txt
9162e4b08094eedd8304ec6c97da81f989833cacde11aecbea4dec6166b3d6d6 haskell-tamarin-prover-export-1.8.0-40-x86_64.pkg.tar.zst-b2.BUILDINFO.txt