these 3 derivations will be built:
  /nix/store/achvsbafszykn2q26sh6wk2dz2ifxcxb-lean-ctx-3.11.4-vendor.drv
  /nix/store/pxsmk6cfpyiws48y0319rp8m7qqzdwf8-lean-ctx-3.11.4.drv
  /nix/store/39kq97c2sn906abh97z84lvmndj0nd9j-check-lean-ctx.drv