haskellPackages.Agda: fix build on aarch64-darwin#427394
Merged
Merged
OfBorg / haskellPackages.Agda, haskellPackages.Agda.passthru.tests on aarch64-linux
succeeded
Jul 23, 2025 in 0s
Success
Attempted: haskellPackages.Agda
The following builds were skipped because they don't evaluate on aarch64-linux: haskellPackages.Agda.passthru.tests
Details
Partial log
shrinking RPATHs of ELF executables and libraries in /nix/store/mq65kgq7a9ngssbh085cl4i4n29gffij-Agda-2.8.0-doc
checking for references to /build/ in /nix/store/mq65kgq7a9ngssbh085cl4i4n29gffij-Agda-2.8.0-doc...
patching script interpreter paths in /nix/store/mq65kgq7a9ngssbh085cl4i4n29gffij-Agda-2.8.0-doc
shrinking RPATHs of ELF executables and libraries in /nix/store/jw1n7n75y2a56flpvbq98rrzn7gwfpl8-Agda-2.8.0-bin
shrinking /nix/store/jw1n7n75y2a56flpvbq98rrzn7gwfpl8-Agda-2.8.0-bin/bin/agda
shrinking /nix/store/jw1n7n75y2a56flpvbq98rrzn7gwfpl8-Agda-2.8.0-bin/bin/agda-mode
checking for references to /build/ in /nix/store/jw1n7n75y2a56flpvbq98rrzn7gwfpl8-Agda-2.8.0-bin...
patching script interpreter paths in /nix/store/jw1n7n75y2a56flpvbq98rrzn7gwfpl8-Agda-2.8.0-bin
stripping (with command strip and flags -S -p) in /nix/store/jw1n7n75y2a56flpvbq98rrzn7gwfpl8-Agda-2.8.0-bin/bin
/nix/store/mwm7dh2nw9i669q6yhx5h89w83s0v3v5-Agda-2.8.0
Loading