setup
checks.x86_64-linux.pkgs-lean-ctx
· build #4335
· raw
1these 4 derivations will be built:2 /nix/store/l9l0m64y6d8kxdfiaas2fz035xr36lfd-source.drv3 /nix/store/n77zb9mnyv96y2k9axbywwvg1s1219pp-lean-ctx-3.10.0-vendor-staging.drv4 /nix/store/1yxlmvl8zmvkby9va59gamhq6n3wqva9-lean-ctx-3.10.0-vendor.drv5 /nix/store/f6khf8ipybsvsdkk9qlmdknfch3pxch3-lean-ctx-3.10.0.drv