setup
checks.x86_64-linux.pkgs-lean-ctx
· build #10432
· raw
1don't know how to build these paths:2 /nix/store/yvx53zspwwr8lby59cj3fzk5y0vy0s9j-check-lean-ctx.drv3warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user4error: dependency 'xmbiiks7hx8s97x2z97p6pn06prfsw45-lean-ctx-3.12.2.drv' failed