setup
x86_64-linux.pkgs-lean-ctx
· build #2099
· raw
1these 4 derivations will be built:2 /nix/store/r34v73yr8bqc6p0g1livss6756njfdg9-source.drv3 /nix/store/2fdfvs04hzrid44wpb0yri724nbb5xnv-lean-ctx-3.9.17-vendor-staging.drv4 /nix/store/3ksr7q0pnmblg6xmyr80wgk7d2hgmvjj-lean-ctx-3.9.17-vendor.drv5 /nix/store/ld5j51xip349gm826r2fnm5ym4zib0li-lean-ctx-3.9.17.drv