I recently added pkgs.haskellPackages.Agda and pkgs.AgdaStdlib to my environment.systemPackages (in configuration.nix), and Agda still can't find the stdlib packages.
I discussed this with someone on IRC for a while, and we discovered that I don't have an "agda" folder in /run/current-system/sw/share/ which I am supposed to have if pkgs.AgdaStdlib is in environment.systemPackages. Furthermore, when they put the same line in their configuration.nix, that folder did appear in their /run/current-system/sw/share/ I'm sure this will come up, so I'll confirm now: I have `nixos-rebuild switch`ed to the new system. Does anyone have an idea of what's going on here? Is there any other diagnostic information that would be helpful? --Taeer
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
