diff options
Diffstat (limited to 'pkgs/data/fonts/andagii/default.nix')
-rw-r--r-- | pkgs/data/fonts/andagii/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/data/fonts/andagii/default.nix b/pkgs/data/fonts/andagii/default.nix index 6e59e97171e2..8143d2841206 100644 --- a/pkgs/data/fonts/andagii/default.nix +++ b/pkgs/data/fonts/andagii/default.nix @@ -19,6 +19,7 @@ in rec { src = a.fetchurl { url = sourceInfo.url; + curlOpts = "--user-agent 'Mozilla/5.0'"; sha256 = sourceInfo.hash; }; @@ -43,8 +44,7 @@ rec { [ raskin ]; - platforms = with a.lib.platforms; - []; + hydraPlatforms = []; # There are multiple claims that the font is GPL, # so I include the package; but I cannot find the # original source, so use it on your own risk |