Snippets for ada 4.0.0 from Nix aarch64-linux

Sourced from https://hydra.nixos.org/log/md8w3apbjjfa5qrm8j1m0qc45yniy54c-ada-4.0.0.drv.