I am trying to build Agda-2.7.0.1 with the head.hackage testing infrastructure with cabal-install-3.12, but I am still seeing the error from #10235.
dist/build/agda/agda: readCreateProcess: posix_spawnp: does not exist (No such file or directory)
On all versions of GHC before 9.10.
So it sounds like the fix in #7471 doesn't work in all circumstances.
I'll investigate and report back if I figure out why this is happening.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4