user2705: 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.

user2705: Solved it by upgrading to wsl 2.

2705: <p>So I'm using WSL Windows 10 and I set up IOHK hashes, but everytime I run <code>nix-shell</code> I get following error:
<code>build of '/nix/store/9im4jp068ykqsm4s8996px605p6zrw7q-Agda-plan-to-nix-pkgs.drv' failed</code>. Would greatly appreciate any help.</p>
 2705: <p>Solved it by upgrading to wsl 2.</p>
