coq/coqide-8.19.1-2-x86_64.pkg.tar.zst build reproducible in our test framework:
a65ade5aa77f951c33eecfc231e02495b8aead7a93bd29f52cb933c051c6a2c9 coqide-8.19.1-2-x86_64.pkg.tar.zst
585bcde92bedc2d2076c7e5ea0f5793024e3ec18fa01b37ed0cd8d0d982cc6ba coqide-8.19.1-2-x86_64.pkg.tar.zst-b1.BUILDINFO.txt
585bcde92bedc2d2076c7e5ea0f5793024e3ec18fa01b37ed0cd8d0d982cc6ba coqide-8.19.1-2-x86_64.pkg.tar.zst-b2.BUILDINFO.txt