Hi! David Craven <da...@craven.ch> skribis:
> guix build idris -n works for me too. OK. And how long does it take, since this was the subject of this report? > guix build idris --no-substitutes does this (which may be a problem on my > end): [...] > error: failed to run download program > '/home/dvc/guix/nix/scripts/download': Permission denied Problem on your end I think. :-) That script must be readable and executable by the guixbuild* users (thus, its parent directories must be readable/executable as well). HTH! Ludo’.