these 2 derivations will be built:
  /nix/store/8dqk0c1mzal6sf1g6nwvrcr50c3flxhy-lean-ctx-3.12.2.drv
  /nix/store/10i60lp8clpdd7nqsxvsg45pxks3cmjh-check-lean-ctx.drv
building '/nix/store/8dqk0c1mzal6sf1g6nwvrcr50c3flxhy-lean-ctx-3.12.2.drv' on 'grpc://farm.numtide.com:50051?connect-timeout=23&system=aarch64-darwin&token-file=/run/nix-farm-client/farm-token'
building '/nix/store/8dqk0c1mzal6sf1g6nwvrcr50c3flxhy-lean-ctx-3.12.2.drv' on farm.numtide.com:50051
lean-ctx-3.12.2> mac02: building 8dqk0c1mzal6sf1g6nwvrcr50c3flxhy-lean-ctx-3.12.2.drv
lean-ctx-3.12.2> Using versionCheckHook
lean-ctx-3.12.2> Running phase: unpackPhase
lean-ctx-3.12.2> unpacking source archive /nix/store/6y62wgk9yzn8c3s8bkyh43hnmqn6yj73-source
lean-ctx-3.12.2> source root is source
lean-ctx-3.12.2> Executing cargoSetupPostUnpackHook
lean-ctx-3.12.2> Finished cargoSetupPostUnpackHook
lean-ctx-3.12.2> Running phase: patchPhase
lean-ctx-3.12.2> Executing cargoSetupPostPatchHook
lean-ctx-3.12.2> Validating consistency between /nix/var/nix/builds/nix-31419-1494027923/source/rust/Cargo.lock and /nix/var/nix/builds/nix-31419-1494027923/lean-ctx-3.12.2-vendor/Cargo.lock
lean-ctx-3.12.2> Finished cargoSetupPostPatchHook
lean-ctx-3.12.2> Running phase: updateAutotoolsGnuConfigScriptsPhase
lean-ctx-3.12.2> Running phase: configurePhase
lean-ctx-3.12.2> Running phase: buildPhase
lean-ctx-3.12.2> Executing cargoBuildHook
lean-ctx-3.12.2> /nix/var/nix/builds/nix-31419-1494027923/source/rust /nix/var/nix/builds/nix-31419-1494027923/source
lean-ctx-3.12.2> cargoBuildHook flags: -j 10 --target aarch64-apple-darwin --offline --profile release
lean-ctx-3.12.2>    Compiling libc v0.2.189
lean-ctx-3.12.2>    Compiling shlex v2.0.1
lean-ctx-3.12.2>    Compiling find-msvc-tools v0.1.10
lean-ctx-3.12.2>    Compiling cfg-if v1.0.4
lean-ctx-3.12.2>    Compiling proc-macro2 v1.0.107
lean-ctx-3.12.2>    Compiling quote v1.0.47
lean-ctx-3.12.2>    Compiling unicode-ident v1.0.24
lean-ctx-3.12.2>    Compiling zeroize v1.9.0
lean-ctx-3.12.2>    Compiling typenum v1.20.1
lean-ctx-3.12.2>    Compiling tree-sitter-language v0.1.7
lean-ctx-3.12.2>    Compiling subtle v2.6.1
lean-ctx-3.12.2>    Compiling memchr v2.8.3
lean-ctx-3.12.2>    Compiling version_check v0.9.5
lean-ctx-3.12.2>    Compiling rand_core v0.10.1
lean-ctx-3.12.2>    Compiling itoa v1.0.18
lean-ctx-3.12.2>    Compiling getrandom v0.4.3
lean-ctx-3.12.2>    Compiling serde_core v1.0.229
lean-ctx-3.12.2>    Compiling log v0.4.33
lean-ctx-3.12.2>    Compiling pkg-config v0.3.33
lean-ctx-3.12.2>    Compiling generic-array v0.14.7
lean-ctx-3.12.2>    Compiling autocfg v1.5.1
lean-ctx-3.12.2>    Compiling zmij v1.0.23
lean-ctx-3.12.2>    Compiling pin-project-lite v0.2.17
lean-ctx-3.12.2>    Compiling cmov v0.5.4
lean-ctx-3.12.2>    Compiling once_cell v1.21.4
lean-ctx-3.12.2>    Compiling bytes v1.12.1
lean-ctx-3.12.2>    Compiling num-traits v0.2.19
lean-ctx-3.12.2>    Compiling const-oid v0.10.2
lean-ctx-3.12.2>    Compiling ctutils v0.4.6
lean-ctx-3.12.2>    Compiling smallvec v1.15.2
lean-ctx-3.12.2>    Compiling serde v1.0.229
lean-ctx-3.12.2>    Compiling bitflags v2.13.1
lean-ctx-3.12.2>    Compiling syn v3.0.3
lean-ctx-3.12.2>    Compiling syn v2.0.119
lean-ctx-3.12.2>    Compiling stable_deref_trait v1.2.1
lean-ctx-3.12.2>    Compiling futures-core v0.3.33
lean-ctx-3.12.2>    Compiling dunce v1.0.5
lean-ctx-3.12.2>    Compiling serde_json v1.0.151
lean-ctx-3.12.2>    Compiling fs_extra v1.3.0
lean-ctx-3.12.2>    Compiling jobserver v0.1.35
lean-ctx-3.12.2>    Compiling hybrid-array v0.4.14
lean-ctx-3.12.2>    Compiling http v1.5.0
lean-ctx-3.12.2>    Compiling cc v1.4.2
lean-ctx-3.12.2>    Compiling aho-corasick v1.1.5
lean-ctx-3.12.2>    Compiling getrandom v0.2.17
lean-ctx-3.12.2>    Compiling rand_core v0.6.4
lean-ctx-3.12.2>    Compiling errno v0.3.14
lean-ctx-3.12.2>    Compiling regex-syntax v0.8.11
lean-ctx-3.12.2>    Compiling futures-sink v0.3.33
lean-ctx-3.12.2>    Compiling tracing-core v0.1.36
lean-ctx-3.12.2>    Compiling crypto-common v0.2.2
lean-ctx-3.12.2>    Compiling crypto-common v0.1.7
lean-ctx-3.12.2>    Compiling block-buffer v0.12.1
lean-ctx-3.12.2>    Compiling core-foundation-sys v0.8.7
lean-ctx-3.12.2>    Compiling block-buffer v0.10.4
lean-ctx-3.12.2>    Compiling futures-channel v0.3.33
lean-ctx-3.12.2>    Compiling signal-hook-registry v1.4.8
lean-ctx-3.12.2>    Compiling mio v1.2.2
lean-ctx-3.12.2>    Compiling socket2 v0.6.5
lean-ctx-3.12.2>    Compiling cmake v0.1.58
lean-ctx-3.12.2>    Compiling ring v0.17.14
lean-ctx-3.12.2>    Compiling percent-encoding v2.3.2
lean-ctx-3.12.2>    Compiling aws-lc-rs v1.18.0
lean-ctx-3.12.2>    Compiling aws-lc-sys v0.44.0
lean-ctx-3.12.2>    Compiling foldhash v0.2.0
lean-ctx-3.12.2>    Compiling digest v0.10.7
lean-ctx-3.12.2>    Compiling digest v0.11.3
lean-ctx-3.12.2>    Compiling rustls-pki-types v1.15.1
lean-ctx-3.12.2>    Compiling slab v0.4.12
lean-ctx-3.12.2>    Compiling writeable v0.6.3
lean-ctx-3.12.2>    Compiling futures-task v0.3.33
lean-ctx-3.12.2>    Compiling litemap v0.8.2
lean-ctx-3.12.2>    Compiling futures-io v0.3.33
lean-ctx-3.12.2>    Compiling equivalent v1.0.2
lean-ctx-3.12.2>    Compiling thiserror v2.0.20
lean-ctx-3.12.2>    Compiling block-padding v0.3.3
lean-ctx-3.12.2>    Compiling cpufeatures v0.2.17
lean-ctx-3.12.2>    Compiling icu_properties_data v2.1.2
lean-ctx-3.12.2>    Compiling httparse v1.10.1
lean-ctx-3.12.2>    Compiling zerocopy v0.8.56
lean-ctx-3.12.2>    Compiling icu_normalizer_data v2.1.1
lean-ctx-3.12.2>    Compiling crossbeam-utils v0.8.22
lean-ctx-3.12.2>    Compiling untrusted v0.9.0
lean-ctx-3.12.2>    Compiling regex-automata v0.4.18
lean-ctx-3.12.2>    Compiling inout v0.1.4
lean-ctx-3.12.2>    Compiling rustls v0.23.46
lean-ctx-3.12.2>    Compiling base64 v0.22.1
lean-ctx-3.12.2>    Compiling allocator-api2 v0.2.21
lean-ctx-3.12.2>    Compiling cipher v0.4.4
lean-ctx-3.12.2>    Compiling hashbrown v0.17.1
lean-ctx-3.12.2>    Compiling serde_derive v1.0.229
lean-ctx-3.12.2>    Compiling displaydoc v0.2.7
lean-ctx-3.12.2>    Compiling tokio-macros v2.7.2
lean-ctx-3.12.2>    Compiling thiserror-impl v2.0.20
lean-ctx-3.12.2>    Compiling synstructure v0.13.2
lean-ctx-3.12.2>    Compiling tokio v1.53.3
lean-ctx-3.12.2>    Compiling zerofrom-derive v0.1.7
lean-ctx-3.12.2>    Compiling yoke-derive v0.8.2
lean-ctx-3.12.2>    Compiling zerovec-derive v0.11.3
lean-ctx-3.12.2>    Compiling zerofrom v0.1.8
lean-ctx-3.12.2>    Compiling tracing-attributes v0.1.31
lean-ctx-3.12.2>    Compiling yoke v0.8.3
lean-ctx-3.12.2>    Compiling futures-macro v0.3.33
lean-ctx-3.12.2>    Compiling zerovec v0.11.6
lean-ctx-3.12.2>    Compiling zerotrie v0.2.4
lean-ctx-3.12.2>    Compiling futures-util v0.3.33
lean-ctx-3.12.2>    Compiling tracing v0.1.44
lean-ctx-3.12.2>    Compiling rustls-webpki v0.103.16
lean-ctx-3.12.2>    Compiling http-body v1.1.0
lean-ctx-3.12.2>    Compiling cpufeatures v0.3.0
lean-ctx-3.12.2>    Compiling semver v1.0.28
lean-ctx-3.12.2>    Compiling cpubits v0.1.1
lean-ctx-3.12.2>    Compiling tower-service v0.3.3
lean-ctx-3.12.2>    Compiling crossbeam-epoch v0.9.20
lean-ctx-3.12.2>    Compiling tinystr v0.8.3
lean-ctx-3.12.2>    Compiling potential_utf v0.1.5
lean-ctx-3.12.2>    Compiling rustc_version v0.4.1
lean-ctx-3.12.2>    Compiling icu_collections v2.1.1
lean-ctx-3.12.2>    Compiling icu_locale_core v2.1.1
lean-ctx-3.12.2>    Compiling getrandom v0.3.4
lean-ctx-3.12.2>    Compiling indexmap v2.14.0
lean-ctx-3.12.2>    Compiling icu_provider v2.1.1
lean-ctx-3.12.2>    Compiling regex v1.13.1
lean-ctx-3.12.2>    Compiling icu_properties v2.1.2
lean-ctx-3.12.2>    Compiling icu_normalizer v2.1.1
lean-ctx-3.12.2>    Compiling form_urlencoded v1.2.2
lean-ctx-3.12.2>    Compiling crc32fast v1.5.0
lean-ctx-3.12.2>    Compiling utf8_iter v1.0.4
lean-ctx-3.12.2>    Compiling crypto-bigint v0.7.10
lean-ctx-3.12.2>    Compiling sha2 v0.11.0
lean-ctx-3.12.2>    Compiling blake3 v1.8.6
lean-ctx-3.12.2>    Compiling iana-time-zone v0.1.65
lean-ctx-3.12.2>    Compiling der v0.8.3
lean-ctx-3.12.2>    Compiling ppv-lite86 v0.2.21
lean-ctx-3.12.2>    Compiling idna_adapter v1.2.1
lean-ctx-3.12.2>    Compiling idna v1.1.0
lean-ctx-3.12.2>    Compiling ff v0.14.0
lean-ctx-3.12.2>    Compiling num-conv v0.2.2
lean-ctx-3.12.2>    Compiling try-lock v0.2.5
lean-ctx-3.12.2>    Compiling tower-layer v0.3.3
lean-ctx-3.12.2>    Compiling time-core v0.1.9
lean-ctx-3.12.2>    Compiling simd-adler32 v0.3.10
lean-ctx-3.12.2>    Compiling parking_lot_core v0.9.12
lean-ctx-3.12.2>    Compiling time-macros v0.2.32
lean-ctx-3.12.2>    Compiling want v0.3.1
lean-ctx-3.12.2>    Compiling chrono v0.4.45
lean-ctx-3.12.2>    Compiling sha2 v0.10.9
lean-ctx-3.12.2>    Compiling hmac v0.13.0
lean-ctx-3.12.2>    Compiling zstd-sys v2.1.2+zstd.1.5.7
lean-ctx-3.12.2>    Compiling security-framework-sys v2.17.0
lean-ctx-3.12.2>    Compiling core-foundation v0.10.1
lean-ctx-3.12.2>    Compiling sync_wrapper v1.0.2
lean-ctx-3.12.2>    Compiling constant_time_eq v0.4.2
lean-ctx-3.12.2>    Compiling rustix v1.1.4
lean-ctx-3.12.2>    Compiling adler2 v2.0.1
lean-ctx-3.12.2>    Compiling httpdate v1.0.3
lean-ctx-3.12.2>    Compiling powerfmt v0.2.0
lean-ctx-3.12.2>    Compiling deranged v0.5.8
lean-ctx-3.12.2>    Compiling arrayref v0.3.9
lean-ctx-3.12.2>    Compiling rustversion v1.0.23
lean-ctx-3.12.2>    Compiling atomic-waker v1.1.2
lean-ctx-3.12.2>    Compiling scopeguard v1.2.0
lean-ctx-3.12.2>    Compiling cfg_aliases v0.2.2
lean-ctx-3.12.2>    Compiling arrayvec v0.7.8
lean-ctx-3.12.2>    Compiling nix v0.31.3
lean-ctx-3.12.2>    Compiling lock_api v0.4.14
lean-ctx-3.12.2>    Compiling hyper v1.11.0
lean-ctx-3.12.2>    Compiling security-framework v3.7.0
lean-ctx-3.12.2>    Compiling miniz_oxide v0.8.9
lean-ctx-3.12.2>    Compiling spki v0.8.1
lean-ctx-3.12.2>    Compiling time v0.3.55
lean-ctx-3.12.2>    Compiling tokio-rustls v0.26.4
lean-ctx-3.12.2>    Compiling url v2.5.8
lean-ctx-3.12.2>    Compiling group v0.14.0
lean-ctx-3.12.2>    Compiling rand_core v0.9.5
lean-ctx-3.12.2>    Compiling bstr v1.13.0
lean-ctx-3.12.2>    Compiling http-body-util v0.1.4
lean-ctx-3.12.2>    Compiling universal-hash v0.5.1
lean-ctx-3.12.2>    Compiling cookie v0.18.2
lean-ctx-3.12.2>    Compiling opaque-debug v0.3.1
lean-ctx-3.12.2>    Compiling bit-vec v0.8.0
lean-ctx-3.12.2>    Compiling lazy_static v1.5.0
lean-ctx-3.12.2>    Compiling base16ct v1.0.0
lean-ctx-3.12.2>    Compiling ipnet v2.12.1
lean-ctx-3.12.2>    Compiling zlib-rs v0.6.7
lean-ctx-3.12.2>    Compiling tinyvec_macros v0.1.1
lean-ctx-3.12.2>    Compiling portable-atomic v1.14.0
lean-ctx-3.12.2>    Compiling ident_case v1.0.1
lean-ctx-3.12.2>    Compiling bumpalo v3.20.3
lean-ctx-3.12.2>    Compiling libm v0.2.16
lean-ctx-3.12.2>    Compiling anyhow v1.0.104
lean-ctx-3.12.2>    Compiling strsim v0.11.1
lean-ctx-3.12.2>    Compiling crossbeam-deque v0.8.7
lean-ctx-3.12.2>    Compiling darling_core v0.23.0
lean-ctx-3.12.2>    Compiling tinyvec v1.12.0
lean-ctx-3.12.2>    Compiling hyper-util v0.1.20
lean-ctx-3.12.2>    Compiling bit-set v0.8.0
lean-ctx-3.12.2>    Compiling sec1 v0.8.1
lean-ctx-3.12.2>    Compiling poly1305 v0.8.0
lean-ctx-3.12.2>    Compiling rand_chacha v0.9.0
lean-ctx-3.12.2>    Compiling pkcs8 v0.11.0
lean-ctx-3.12.2>    Compiling tower v0.5.3
lean-ctx-3.12.2>    Compiling tree-sitter v0.26.12
lean-ctx-3.12.2>    Compiling curve25519-dalek v4.1.3
lean-ctx-3.12.2>    Compiling chacha20 v0.9.1
lean-ctx-3.12.2>    Compiling webpki-roots v1.0.11
lean-ctx-3.12.2>    Compiling tikv-jemalloc-sys v0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8
lean-ctx-3.12.2>    Compiling aead v0.5.2
lean-ctx-3.12.2>    Compiling uuid v1.24.0
lean-ctx-3.12.2>    Compiling matrixmultiply v0.3.11
lean-ctx-3.12.2>    Compiling chacha20 v0.10.2
lean-ctx-3.12.2>    Compiling vcpkg v0.2.15
lean-ctx-3.12.2>    Compiling ref-cast v1.0.26
lean-ctx-3.12.2>    Compiling ryu v1.0.23
lean-ctx-3.12.2>    Compiling winnow v1.0.4
lean-ctx-3.12.2>    Compiling zstd-safe v8.2.0
lean-ctx-3.12.2>    Compiling psl-types v2.0.11
lean-ctx-3.12.2>    Compiling thiserror v1.0.69
lean-ctx-3.12.2>    Compiling utf8parse v0.2.2
lean-ctx-3.12.2>    Compiling litrs v1.0.0
lean-ctx-3.12.2>    Compiling leb128fmt v0.1.0
lean-ctx-3.12.2>    Compiling wasm-encoder v0.255.0
lean-ctx-3.12.2>    Compiling anstyle-parse v1.0.0
lean-ctx-3.12.2>    Compiling darling_macro v0.23.0
lean-ctx-3.12.2>    Compiling publicsuffix v2.3.0
lean-ctx-3.12.2>    Compiling libsqlite3-sys v0.37.0
lean-ctx-3.12.2>    Compiling rand v0.10.2
lean-ctx-3.12.2>    Compiling chacha20poly1305 v0.10.1
lean-ctx-3.12.2>    Compiling document-features v0.2.12
lean-ctx-3.12.2> error: failed to run custom build command for `tikv-jemalloc-sys v0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8`
lean-ctx-3.12.2> 
lean-ctx-3.12.2> Caused by:
lean-ctx-3.12.2>   process didn't exit successfully: `/nix/var/nix/builds/nix-31419-1494027923/source/target/release/build/tikv-jemalloc-sys-b56aba1f5cfdc6b5/build-script-build` (exit status: 101)
lean-ctx-3.12.2>   --- stdout
lean-ctx-3.12.2>   TARGET=aarch64-apple-darwin
lean-ctx-3.12.2>   HOST=aarch64-apple-darwin
lean-ctx-3.12.2>   NUM_JOBS=10
lean-ctx-3.12.2>   OUT_DIR="/nix/var/nix/builds/nix-31419-1494027923/source/target/aarch64-apple-darwin/release/build/tikv-jemalloc-sys-7dd3c2fb2c21bc92/out"
lean-ctx-3.12.2>   BUILD_DIR="/nix/var/nix/builds/nix-31419-1494027923/source/target/aarch64-apple-darwin/release/build/tikv-jemalloc-sys-7dd3c2fb2c21bc92/out/build"
lean-ctx-3.12.2>   SRC_DIR="/nix/var/nix/builds/nix-31419-1494027923/lean-ctx-3.12.2-vendor/source-registry-0/tikv-jemalloc-sys-0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8"
lean-ctx-3.12.2>   cargo:rustc-cfg=prefixed
lean-ctx-3.12.2>   cargo:rerun-if-env-changed=AARCH64_APPLE_DARWIN_JEMALLOC_OVERRIDE
lean-ctx-3.12.2>   cargo:rerun-if-env-changed=JEMALLOC_OVERRIDE
lean-ctx-3.12.2>   jemalloc override set
lean-ctx-3.12.2> 
lean-ctx-3.12.2>   --- stderr
lean-ctx-3.12.2> 
lean-ctx-3.12.2>   thread 'main' (147384868) panicked at /nix/var/nix/builds/nix-31419-1494027923/lean-ctx-3.12.2-vendor/source-registry-0/tikv-jemalloc-sys-0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8/build.rs:135:9:
lean-ctx-3.12.2>   Path to `jemalloc` in `JEMALLOC_OVERRIDE=/nix/store/hzc6jwr1dkkk71jlmzmhiqn44gjfh4jl-jemalloc-5.4.0/lib/libjemalloc` does not exist
lean-ctx-3.12.2>   note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
lean-ctx-3.12.2> warning: build failed, waiting for other jobs to finish...
error: build of '/nix/store/8dqk0c1mzal6sf1g6nwvrcr50c3flxhy-lean-ctx-3.12.2.drv' on 'grpc://farm.numtide.com:50051?connect-timeout=23&system=aarch64-darwin&token-file=/run/nix-farm-client/farm-token' failed: Cannot build '/nix/store/8dqk0c1mzal6sf1g6nwvrcr50c3flxhy-lean-ctx-3.12.2.drv'.
       Reason: builder failed with exit code 101.
       Output paths:
         /nix/store/vsrdkriidg3w9kqxmw62kq9pqf8w87x6-lean-ctx-3.12.2
       Last 25 log lines:
       >    Compiling rand v0.10.2
       >    Compiling chacha20poly1305 v0.10.1
       >    Compiling document-features v0.2.12
       > error: failed to run custom build command for `tikv-jemalloc-sys v0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8`
       >
       > Caused by:
       >   process didn't exit successfully: `/nix/var/nix/builds/nix-31419-1494027923/source/target/release/build/tikv-jemalloc-sys-b56aba1f5cfdc6b5/build-script-build` (exit status: 101)
       >   --- stdout
       >   TARGET=aarch64-apple-darwin
       >   HOST=aarch64-apple-darwin
       >   NUM_JOBS=10
       >   OUT_DIR="/nix/var/nix/builds/nix-31419-1494027923/source/target/aarch64-apple-darwin/release/build/tikv-jemalloc-sys-7dd3c2fb2c21bc92/out"
       >   BUILD_DIR="/nix/var/nix/builds/nix-31419-1494027923/source/target/aarch64-apple-darwin/release/build/tikv-jemalloc-sys-7dd3c2fb2c21bc92/out/build"
       >   SRC_DIR="/nix/var/nix/builds/nix-31419-1494027923/lean-ctx-3.12.2-vendor/source-registry-0/tikv-jemalloc-sys-0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8"
       >   cargo:rustc-cfg=prefixed
       >   cargo:rerun-if-env-changed=AARCH64_APPLE_DARWIN_JEMALLOC_OVERRIDE
       >   cargo:rerun-if-env-changed=JEMALLOC_OVERRIDE
       >   jemalloc override set
       >
       >   --- stderr
       >
       >   thread 'main' (147384868) panicked at /nix/var/nix/builds/nix-31419-1494027923/lean-ctx-3.12.2-vendor/source-registry-0/tikv-jemalloc-sys-0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8/build.rs:135:9:
       >   Path to `jemalloc` in `JEMALLOC_OVERRIDE=/nix/store/hzc6jwr1dkkk71jlmzmhiqn44gjfh4jl-jemalloc-5.4.0/lib/libjemalloc` does not exist
       >   note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
       > warning: build failed, waiting for other jobs to finish...
       For full logs, run:
         nix log /nix/store/8dqk0c1mzal6sf1g6nwvrcr50c3flxhy-lean-ctx-3.12.2.drv
error: Cannot build '/nix/store/8dqk0c1mzal6sf1g6nwvrcr50c3flxhy-lean-ctx-3.12.2.drv'.
       Reason: builder failed with exit code 1.
       Output paths:
         /nix/store/vsrdkriidg3w9kqxmw62kq9pqf8w87x6-lean-ctx-3.12.2
error: Cannot build '/nix/store/10i60lp8clpdd7nqsxvsg45pxks3cmjh-check-lean-ctx.drv'.
       Reason: 1 dependency failed.
       Output paths:
         /nix/store/dqkpb63m3yvfnadpcfns462q515kq27x-check-lean-ctx