these 3 derivations will be built:
  /nix/store/izdhnpbvpm6x3qv03lc8lps2lgfj7kl8-aws-lc-prefix.drv
  /nix/store/517ii8nm5xq1il6hi578rw7pqyyh6yvl-lean-ctx-3.12.2.drv
  /nix/store/67hp6jrrfsr2n6pvhhfi83p17v3rir2p-check-lean-ctx.drv