skip to content
1these 3 derivations will be built:2 /nix/store/px5rayq0l1y7i7kdz8havnlygsdrprjp-lean-ctx-3.11.4-vendor.drv3 /nix/store/rf8v8jsbss3vgsp7w5da3ivz9jda1sd0-lean-ctx-3.11.4.drv4 /nix/store/5paflgpq2jnk2j81bbjj2zl3cw669ck3-check-lean-ctx.drv