Hi, I would like to change the default Debian mirror (in nixpkgs/pkgs/build-support/fetchurl/mirrors.nix). The only way I found -- http://osdir.com/ml/linux.distributions.nixos/2007-09/msg00004.html -- seems very outdated (2007) and did not work for me. Suggestions? Cheers, Michael