d078fe1e9c
Just use "fetchFromGitHub" because that seems to be more reliable. Still unclear what the actual issue was but I'm thinking this will fix it. At least, this will put it more in line with other packages. |
||
---|---|---|
.. | ||
applications | ||
build-support | ||
data | ||
desktops | ||
development | ||
games | ||
misc | ||
os-specific | ||
servers | ||
shells | ||
stdenv | ||
test | ||
tools | ||
top-level |