skip to content
1these 3 derivations will be built:2 /nix/store/jj7pp3x1l9hccpzk2j0py86xdki9qis9-lean-ctx-3.9.13-vendor-staging.drv3 /nix/store/c4s5lgpsp4dhdmc0dqp0zfsvszyg5y84-lean-ctx-3.9.13-vendor.drv4 /nix/store/6p26kpx5aidpscsbfm6wmizzrj6gcx5q-lean-ctx-3.9.13.drv