Snippets for petsc 3.25.4 from Nix aarch64-linux

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