haskellPackages.Agda: fix build on aarch64-darwin#427394

ncfavier merged 1 commit intoNixOS:haskell-updatesNixOS/nixpkgs:haskell-updatesfrom

ncfavier:agda-aarch64-darwinncfavier/nixpkgs:agda-aarch64-darwinCopy head branch name to clipboard