skip to content
1these 3 derivations will be built:2 /nix/store/c7daw4fwilzchz4q46624z71hgm5yn44-lean-ctx-3.9.15-vendor-staging.drv3 /nix/store/h6xhm18az59wfyn6ppismymff16zz77x-lean-ctx-3.9.15-vendor.drv4 /nix/store/j0cg2mr4da5h34sgp4lw11kms1cd0ri1-lean-ctx-3.9.15.drv