Snippets for ada 4.0.0 from Nix x86_64-linux

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