Fix building with more recent android sdk/ndks #2443
Merged
zw3rk Hydra / x86_64-linux.unstable.ghc9122.aarch64-android-prebuilt.hello
succeeded
Oct 18, 2025 in 13s
Build succeeded
/nix/store/9ixvs6fz14civwwdmjw232sy845ls07p-hello-exe-hello-aarch64-unknown-linux-android-1.0.0.2
Loading