Snippets for petsc 3.25.5 from Nix x86_64-linux

Sourced from https://hydra.nixos.org/log/m2as0nd3fyrqlybfwx1jxx9yr467y6wd-petsc-3.25.5.drv.