skip to content
1these 3 derivations will be built:2 /nix/store/f2w26fixapxfbv332qgaaa0cayv92qas-lean-ctx-3.9.16-vendor-staging.drv3 /nix/store/jzaflq8ssihpkhdk2dvr8fs3ww5j6q8v-lean-ctx-3.9.16-vendor.drv4 /nix/store/1ydmywk7sgp22l0a7sj0sxqjgzisd4j5-lean-ctx-3.9.16.drv