agda-stdlib/agda-stdlib-1.7.3-1-x86_64.pkg.tar.zst build reproducible in our test framework:
953f9a86a8c4c72b0b449a8cd41cd33dfdc1a48152329db7a3842e0428e97bce agda-stdlib-1.7.3-1-x86_64.pkg.tar.zst
08b8c09c0d32300d8546dfa1eeb33996320a54d20e8da32a393ab0f78dfd7561 agda-stdlib-1.7.3-1-x86_64.pkg.tar.zst-b1.BUILDINFO.txt
08b8c09c0d32300d8546dfa1eeb33996320a54d20e8da32a393ab0f78dfd7561 agda-stdlib-1.7.3-1-x86_64.pkg.tar.zst-b2.BUILDINFO.txt