Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
So I'm using WSL Windows 10 and I set up IOHK hashes, but everytime I run nix-shell I get following error:
build of '/nix/store/9im4jp068ykqsm4s8996px605p6zrw7q-Agda-plan-to-nix-pkgs.drv' failed. Would greatly appreciate any help.