Snippets for petsc 3.25.4 from Nix x86_64-linux

Sourced from https://hydra.nixos.org/log/ki7y36dazp38ssdia2yahc7hbhcwj35k-petsc-3.25.4.drv.