See also https://cachix.org for a hosted binary cache.