these 2 derivations will be built:
  /nix/store/ijpb30rrly2m5bx44xqk4rfsgwn9q766-lean-ctx-3.12.3.drv
  /nix/store/8j4xm7q457gxbsh5mnhmqh62ix7ad32v-check-lean-ctx.drv
warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user
building '/nix/store/ijpb30rrly2m5bx44xqk4rfsgwn9q766-lean-ctx-3.12.3.drv' on farm.numtide.com:50051
lean-ctx-3.12.3> bld1: building ijpb30rrly2m5bx44xqk4rfsgwn9q766-lean-ctx-3.12.3.drv
lean-ctx-3.12.3> Using versionCheckHook
lean-ctx-3.12.3> Running phase: unpackPhase
lean-ctx-3.12.3> unpacking source archive /nix/store/90lknb3019yayr8qh6zxd43dkg0iy8jy-source
lean-ctx-3.12.3> source root is source
lean-ctx-3.12.3> Executing cargoSetupPostUnpackHook
lean-ctx-3.12.3> Finished cargoSetupPostUnpackHook
lean-ctx-3.12.3> Running phase: patchPhase
lean-ctx-3.12.3> Executing cargoSetupPostPatchHook
lean-ctx-3.12.3> Validating consistency between /build/source/rust/Cargo.lock and /build/lean-ctx-3.12.3-vendor/Cargo.lock
lean-ctx-3.12.3> Finished cargoSetupPostPatchHook
lean-ctx-3.12.3> Running phase: updateAutotoolsGnuConfigScriptsPhase
lean-ctx-3.12.3> Running phase: configurePhase
lean-ctx-3.12.3> Running phase: buildPhase
lean-ctx-3.12.3> Executing cargoBuildHook
lean-ctx-3.12.3> /build/source/rust /build/source
lean-ctx-3.12.3> cargoBuildHook flags: -j 4 --target x86_64-unknown-linux-gnu --offline --profile release
lean-ctx-3.12.3>    Compiling proc-macro2 v1.0.107
lean-ctx-3.12.3>    Compiling unicode-ident v1.0.24
lean-ctx-3.12.3>    Compiling quote v1.0.47
lean-ctx-3.12.3>    Compiling libc v0.2.189
lean-ctx-3.12.3>    Compiling find-msvc-tools v0.1.10
lean-ctx-3.12.3>    Compiling shlex v2.0.1
lean-ctx-3.12.3>    Compiling cfg-if v1.0.4
lean-ctx-3.12.3>    Compiling typenum v1.20.1
lean-ctx-3.12.3>    Compiling syn v2.0.119
lean-ctx-3.12.3>    Compiling syn v3.0.3
lean-ctx-3.12.3>    Compiling jobserver v0.1.35
lean-ctx-3.12.3>    Compiling cc v1.4.2
lean-ctx-3.12.3>    Compiling tree-sitter-language v0.1.7
lean-ctx-3.12.3>    Compiling subtle v2.6.1
lean-ctx-3.12.3>    Compiling memchr v2.8.3
lean-ctx-3.12.3>    Compiling serde_core v1.0.229
lean-ctx-3.12.3>    Compiling rand_core v0.10.1
lean-ctx-3.12.3>    Compiling getrandom v0.2.17
lean-ctx-3.12.3>    Compiling itoa v1.0.18
lean-ctx-3.12.3>    Compiling version_check v0.9.5
lean-ctx-3.12.3>    Compiling getrandom v0.4.3
lean-ctx-3.12.3>    Compiling pkg-config v0.3.33
lean-ctx-3.12.3>    Compiling generic-array v0.14.7
lean-ctx-3.12.3>    Compiling zmij v1.0.23
lean-ctx-3.12.3>    Compiling log v0.4.33
lean-ctx-3.12.3>    Compiling rand_core v0.6.4
lean-ctx-3.12.3>    Compiling autocfg v1.5.1
lean-ctx-3.12.3>    Compiling zeroize_derive v1.5.0
lean-ctx-3.12.3>    Compiling crypto-common v0.1.7
lean-ctx-3.12.3>    Compiling pin-project-lite v0.2.17
lean-ctx-3.12.3>    Compiling cmov v0.5.4
lean-ctx-3.12.3>    Compiling num-traits v0.2.19
lean-ctx-3.12.3>    Compiling serde v1.0.229
lean-ctx-3.12.3>    Compiling ctutils v0.4.6
lean-ctx-3.12.3>    Compiling const-oid v0.10.2
lean-ctx-3.12.3>    Compiling serde_derive v1.0.229
lean-ctx-3.12.3>    Compiling zeroize v1.9.0
lean-ctx-3.12.3>    Compiling once_cell v1.21.4
lean-ctx-3.12.3>    Compiling hybrid-array v0.4.14
lean-ctx-3.12.3>    Compiling bytes v1.12.1
lean-ctx-3.12.3>    Compiling crypto-common v0.2.2
lean-ctx-3.12.3>    Compiling smallvec v1.15.2
lean-ctx-3.12.3>    Compiling synstructure v0.13.2
lean-ctx-3.12.3>    Compiling block-buffer v0.12.1
lean-ctx-3.12.3>    Compiling stable_deref_trait v1.2.1
lean-ctx-3.12.3>    Compiling cpufeatures v0.3.0
lean-ctx-3.12.3>    Compiling digest v0.11.3
lean-ctx-3.12.3>    Compiling zerofrom-derive v0.1.7
lean-ctx-3.12.3>    Compiling serde_json v1.0.151
lean-ctx-3.12.3>    Compiling futures-core v0.3.33
lean-ctx-3.12.3>    Compiling yoke-derive v0.8.2
lean-ctx-3.12.3>    Compiling cpufeatures v0.2.17
lean-ctx-3.12.3>    Compiling zerofrom v0.1.8
lean-ctx-3.12.3>    Compiling http v1.5.0
lean-ctx-3.12.3>    Compiling zerovec-derive v0.11.3
lean-ctx-3.12.3>    Compiling yoke v0.8.3
lean-ctx-3.12.3>    Compiling aho-corasick v1.1.5
lean-ctx-3.12.3>    Compiling cmake v0.1.58
lean-ctx-3.12.3>    Compiling regex-syntax v0.8.11
lean-ctx-3.12.3>    Compiling fs_extra v1.3.0
lean-ctx-3.12.3>    Compiling dunce v1.0.5
lean-ctx-3.12.3>    Compiling zerovec v0.11.6
lean-ctx-3.12.3>    Compiling aws-lc-sys v0.44.0
lean-ctx-3.12.3>    Compiling displaydoc v0.2.7
lean-ctx-3.12.3>    Compiling futures-sink v0.3.33
lean-ctx-3.12.3>    Compiling bitflags v2.13.1
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Environment Variable found 'AWS_LC_SYS_SYSTEM_DIR': '/nix/store/rhg78anw8xlbb21xwj6ljmhwxwfhkris-aws-lc-prefix'
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Environment Variable found 'AWS_LC_SYS_USE_SYSTEM': '1'
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Value: 1 is true.
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Environment Variable found 'CARGO_ENCODED_RUSTFLAGS': '-Cforce-frame-pointers=yes'
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Emitting configuration: cargo:rustc-cfg=universal
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Building with: System Library
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Symbol Prefix: Some("aws_lc_0_44_0")
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Only dynamic crypto library found in system install; using dynamic linking.
lean-ctx-3.12.3> warning: aws-lc-sys@0.44.0: Target platform: 'x86_64-unknown-linux-gnu'
lean-ctx-3.12.3> error: failed to run custom build command for `aws-lc-sys v0.44.0`
lean-ctx-3.12.3> 
lean-ctx-3.12.3> Caused by:
lean-ctx-3.12.3>   process didn't exit successfully: `/build/source/target/release/build/aws-lc-sys-5d225689c00af21d/build-script-main` (exit status: 101)
lean-ctx-3.12.3>   --- stdout
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_PREFIX_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_PREFIX
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_PREGENERATING_BINDINGS_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_PREGENERATING_BINDINGS
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_EXTERNAL_BINDGEN_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_EXTERNAL_BINDGEN
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_ASM_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_ASM
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_PREBUILT_NASM_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_PREBUILT_NASM
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_C_STD_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_C_STD
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_CMAKE_BUILDER_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_CMAKE_BUILDER
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_PREGENERATED_SRC_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_PREGENERATED_SRC
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SMALL_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SMALL
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_EFFECTIVE_TARGET_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_EFFECTIVE_TARGET
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_JITTER_ENTROPY_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_JITTER_ENTROPY
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_U1_BINDINGS_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_NO_U1_BINDINGS
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_INCLUDES_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_INCLUDES
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SANITIZER_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SANITIZER
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_LINK_WHOLE_ARCHIVE_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_LINK_WHOLE_ARCHIVE
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_STATIC_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_STATIC
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SYSTEM_DIR_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SYSTEM_DIR
lean-ctx-3.12.3>   cargo:warning=Environment Variable found 'AWS_LC_SYS_SYSTEM_DIR': '/nix/store/rhg78anw8xlbb21xwj6ljmhwxwfhkris-aws-lc-prefix'
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_USE_SYSTEM_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_USE_SYSTEM
lean-ctx-3.12.3>   cargo:warning=Environment Variable found 'AWS_LC_SYS_USE_SYSTEM': '1'
lean-ctx-3.12.3>   cargo:warning=Value: 1 is true.
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SYSTEM_BINDINGS_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SYSTEM_BINDINGS
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SYSTEM_SKIP_VERSION_CHECK_x86_64_unknown_linux_gnu
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=AWS_LC_SYS_SYSTEM_SKIP_VERSION_CHECK
lean-ctx-3.12.3>   cargo:rerun-if-env-changed=CARGO_ENCODED_RUSTFLAGS
lean-ctx-3.12.3>   cargo:warning=Environment Variable found 'CARGO_ENCODED_RUSTFLAGS': '-Cforce-frame-pointers=yes'
lean-ctx-3.12.3>   cargo:warning=Emitting configuration: cargo:rustc-cfg=universal
lean-ctx-3.12.3>   cargo:rustc-cfg=universal
lean-ctx-3.12.3>   cargo:warning=Building with: System Library
lean-ctx-3.12.3>   cargo:warning=Symbol Prefix: Some("aws_lc_0_44_0")
lean-ctx-3.12.3>   cargo:warning=Only dynamic crypto library found in system install; using dynamic linking.
lean-ctx-3.12.3>   cargo:warning=Target platform: 'x86_64-unknown-linux-gnu'
lean-ctx-3.12.3> 
lean-ctx-3.12.3>   --- stderr
lean-ctx-3.12.3> 
lean-ctx-3.12.3>   thread 'main' (1155) panicked at /build/lean-ctx-3.12.3-vendor/source-registry-0/aws-lc-sys-0.44.0/builder/main.rs:1457:21:
lean-ctx-3.12.3>   called `Result::unwrap()` on an `Err` value: "Failed to read /nix/store/rhg78anw8xlbb21xwj6ljmhwxwfhkris-aws-lc-prefix/include/openssl/base.h: No such file or directory (os error 2)"
lean-ctx-3.12.3>   note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
lean-ctx-3.12.3> warning: build failed, waiting for other jobs to finish...
error: dependency 'ijpb30rrly2m5bx44xqk4rfsgwn9q766-lean-ctx-3.12.3.drv' failed