these 2 derivations will be built:
  /nix/store/bx7bc5hiiclyr8ajg6fk04qzqv36kcxp-lean-ctx-3.11.0.drv
  /nix/store/g6k77pzaygl9wpjm3kk10f7my7chjkh4-check-lean-ctx.drv