Snippets for petsc 3.25.5 from Nix aarch64-linux

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