Guix seems the best when it comes to reproducibility https://guix.gnu.org/en/blog/2024/identifying-software/