andagii: fix fetch by providing a different user-agent

Close #1706.
This commit is contained in:
Pascal Wittmann 2014-02-08 11:10:47 +01:00 committed by Vladimír Čunát
parent 989bfbac79
commit 0fa30be7a8

View file

@ -19,6 +19,7 @@ in
rec {
src = a.fetchurl {
url = sourceInfo.url;
curlOpts = "--user-agent 'Mozilla/5.0'";
sha256 = sourceInfo.hash;
};