this derivation will be built:
  /nix/store/lzqql3xx2mz0i62svfax7jqmnhmqhc3w-lean-ctx-3.9.7.drv
building '/nix/store/lzqql3xx2mz0i62svfax7jqmnhmqhc3w-lean-ctx-3.9.7.drv' on 'ssh-ng://nix-remote-builder@bld3.m.ntd.one'
building '/nix/store/lzqql3xx2mz0i62svfax7jqmnhmqhc3w-lean-ctx-3.9.7.drv'
lean-ctx-3.9.7> Using versionCheckHook
lean-ctx-3.9.7> Running phase: unpackPhase
lean-ctx-3.9.7> unpacking source archive /nix/store/kwja8my8mjxp4k95a13h93g8adr6avdg-source
lean-ctx-3.9.7> source root is source
lean-ctx-3.9.7> Executing cargoSetupPostUnpackHook
lean-ctx-3.9.7> Finished cargoSetupPostUnpackHook
lean-ctx-3.9.7> Running phase: patchPhase
lean-ctx-3.9.7> Executing cargoSetupPostPatchHook
lean-ctx-3.9.7> Validating consistency between /build/source/rust/Cargo.lock and /build/lean-ctx-3.9.7-vendor/Cargo.lock
lean-ctx-3.9.7> Finished cargoSetupPostPatchHook
lean-ctx-3.9.7> Running phase: updateAutotoolsGnuConfigScriptsPhase
lean-ctx-3.9.7> Running phase: configurePhase
lean-ctx-3.9.7> Running phase: buildPhase
lean-ctx-3.9.7> Executing cargoBuildHook
lean-ctx-3.9.7> /build/source/rust /build/source
lean-ctx-3.9.7> cargoBuildHook flags: -j 8 --target aarch64-unknown-linux-gnu --offline --profile release
lean-ctx-3.9.7>    Compiling libc v0.2.186
lean-ctx-3.9.7>    Compiling shlex v2.0.1
lean-ctx-3.9.7>    Compiling find-msvc-tools v0.1.9
lean-ctx-3.9.7>    Compiling proc-macro2 v1.0.106
lean-ctx-3.9.7>    Compiling quote v1.0.46
lean-ctx-3.9.7>    Compiling unicode-ident v1.0.24
lean-ctx-3.9.7>    Compiling cfg-if v1.0.4
lean-ctx-3.9.7>    Compiling tree-sitter-language v0.1.7
lean-ctx-3.9.7>    Compiling typenum v1.20.1
lean-ctx-3.9.7>    Compiling log v0.4.33
lean-ctx-3.9.7>    Compiling zeroize v1.9.0
lean-ctx-3.9.7>    Compiling memchr v2.8.2
lean-ctx-3.9.7>    Compiling itoa v1.0.18
lean-ctx-3.9.7>    Compiling version_check v0.9.5
lean-ctx-3.9.7>    Compiling bytes v1.12.0
lean-ctx-3.9.7>    Compiling pin-project-lite v0.2.17
lean-ctx-3.9.7>    Compiling smallvec v1.15.2
lean-ctx-3.9.7>    Compiling generic-array v0.14.7
lean-ctx-3.9.7>    Compiling serde_core v1.0.228
lean-ctx-3.9.7>    Compiling futures-core v0.3.32
lean-ctx-3.9.7>    Compiling once_cell v1.21.4
lean-ctx-3.9.7>    Compiling zmij v1.0.21
lean-ctx-3.9.7>    Compiling syn v2.0.118
lean-ctx-3.9.7>    Compiling bitflags v2.13.0
lean-ctx-3.9.7>    Compiling equivalent v1.0.2
lean-ctx-3.9.7>    Compiling stable_deref_trait v1.2.1
lean-ctx-3.9.7>    Compiling hybrid-array v0.4.12
lean-ctx-3.9.7>    Compiling autocfg v1.5.1
lean-ctx-3.9.7>    Compiling jobserver v0.1.34
lean-ctx-3.9.7>    Compiling allocator-api2 v0.2.21
lean-ctx-3.9.7>    Compiling cc v1.2.65
lean-ctx-3.9.7>    Compiling futures-sink v0.3.32
lean-ctx-3.9.7>    Compiling foldhash v0.2.0
lean-ctx-3.9.7>    Compiling dunce v1.0.5
lean-ctx-3.9.7>    Compiling fs_extra v1.3.0
lean-ctx-3.9.7>    Compiling futures-channel v0.3.32
lean-ctx-3.9.7>    Compiling serde v1.0.228
lean-ctx-3.9.7>    Compiling crypto-common v0.2.2
lean-ctx-3.9.7>    Compiling http v1.4.2
lean-ctx-3.9.7>    Compiling percent-encoding v2.3.2
lean-ctx-3.9.7>    Compiling getrandom v0.2.17
lean-ctx-3.9.7>    Compiling errno v0.3.14
lean-ctx-3.9.7>    Compiling mio v1.2.1
lean-ctx-3.9.7>    Compiling signal-hook-registry v1.4.8
lean-ctx-3.9.7>    Compiling rand_core v0.6.4
lean-ctx-3.9.7>    Compiling socket2 v0.6.4
lean-ctx-3.9.7>    Compiling crypto-common v0.1.7
lean-ctx-3.9.7>    Compiling cmake v0.1.58
lean-ctx-3.9.7>    Compiling thiserror v2.0.18
lean-ctx-3.9.7>    Compiling futures-task v0.3.32
lean-ctx-3.9.7>    Compiling futures-io v0.3.32
lean-ctx-3.9.7>    Compiling subtle v2.6.1
lean-ctx-3.9.7>    Compiling slab v0.4.12
lean-ctx-3.9.7>    Compiling num-traits v0.2.19
lean-ctx-3.9.7>    Compiling rustls-pki-types v1.14.1
lean-ctx-3.9.7>    Compiling aws-lc-rs v1.17.0
lean-ctx-3.9.7>    Compiling aws-lc-sys v0.41.0
lean-ctx-3.9.7>    Compiling ring v0.17.14
lean-ctx-3.9.7>    Compiling rand_core v0.10.1
lean-ctx-3.9.7>    Compiling getrandom v0.4.3
lean-ctx-3.9.7>    Compiling cmov v0.5.4
lean-ctx-3.9.7>    Compiling block-buffer v0.12.1
lean-ctx-3.9.7>    Compiling hashbrown v0.17.1
lean-ctx-3.9.7>    Compiling tracing-core v0.1.36
lean-ctx-3.9.7>    Compiling ctutils v0.4.2
lean-ctx-3.9.7>    Compiling const-oid v0.10.2
lean-ctx-3.9.7>    Compiling base64 v0.22.1
lean-ctx-3.9.7>    Compiling digest v0.11.3
lean-ctx-3.9.7>    Compiling untrusted v0.9.0
lean-ctx-3.9.7>    Compiling httparse v1.10.1
lean-ctx-3.9.7>    Compiling serde_json v1.0.150
lean-ctx-3.9.7>    Compiling writeable v0.6.3
lean-ctx-3.9.7>    Compiling litemap v0.8.2
lean-ctx-3.9.7>    Compiling rustls v0.23.40
lean-ctx-3.9.7>    Compiling block-buffer v0.10.4
lean-ctx-3.9.7>    Compiling utf8_iter v1.0.4
lean-ctx-3.9.7>    Compiling icu_normalizer_data v2.2.0
lean-ctx-3.9.7>    Compiling icu_properties_data v2.2.0
lean-ctx-3.9.7>    Compiling pkg-config v0.3.33
lean-ctx-3.9.7>    Compiling digest v0.10.7
lean-ctx-3.9.7>    Compiling http-body v1.0.1
lean-ctx-3.9.7>    Compiling cpufeatures v0.3.0
lean-ctx-3.9.7>    Compiling aho-corasick v1.1.4
lean-ctx-3.9.7>    Compiling tinyvec_macros v0.1.1
lean-ctx-3.9.7>    Compiling parking_lot_core v0.9.12
lean-ctx-3.9.7>    Compiling num-conv v0.2.2
lean-ctx-3.9.7>    Compiling time-core v0.1.9
lean-ctx-3.9.7>    Compiling regex-syntax v0.8.11
lean-ctx-3.9.7>    Compiling ident_case v1.0.1
lean-ctx-3.9.7>    Compiling synstructure v0.13.2
lean-ctx-3.9.7>    Compiling strsim v0.11.1
lean-ctx-3.9.7>    Compiling darling_core v0.23.0
lean-ctx-3.9.7>    Compiling time-macros v0.2.30
lean-ctx-3.9.7>    Compiling tinyvec v1.11.0
lean-ctx-3.9.7>    Compiling regex-automata v0.4.14
lean-ctx-3.9.7>    Compiling tokio-macros v2.7.0
lean-ctx-3.9.7>    Compiling zerofrom-derive v0.1.7
lean-ctx-3.9.7>    Compiling yoke-derive v0.8.2
lean-ctx-3.9.7>    Compiling tokio v1.52.3
lean-ctx-3.9.7>    Compiling zerovec-derive v0.11.3
lean-ctx-3.9.7>    Compiling futures-macro v0.3.32
lean-ctx-3.9.7>    Compiling zerofrom v0.1.8
lean-ctx-3.9.7>    Compiling serde_derive v1.0.228
lean-ctx-3.9.7>    Compiling yoke v0.8.3
lean-ctx-3.9.7>    Compiling thiserror-impl v2.0.18
lean-ctx-3.9.7>    Compiling futures-util v0.3.32
lean-ctx-3.9.7>    Compiling zerovec v0.11.6
lean-ctx-3.9.7>    Compiling displaydoc v0.2.6
lean-ctx-3.9.7>    Compiling tracing-attributes v0.1.31
lean-ctx-3.9.7>    Compiling potential_utf v0.1.5
lean-ctx-3.9.7>    Compiling tinystr v0.8.3
lean-ctx-3.9.7>    Compiling icu_locale_core v2.2.0
lean-ctx-3.9.7>    Compiling zerotrie v0.2.4
lean-ctx-3.9.7>    Compiling icu_collections v2.2.0
lean-ctx-3.9.7>    Compiling chacha20 v0.10.0
lean-ctx-3.9.7>    Compiling tracing v0.1.44
lean-ctx-3.9.7>    Compiling icu_provider v2.2.0
lean-ctx-3.9.7>    Compiling cpufeatures v0.2.17
lean-ctx-3.9.7>    Compiling block-padding v0.3.3
lean-ctx-3.9.7>    Compiling ryu v1.0.23
lean-ctx-3.9.7>    Compiling scopeguard v1.2.0
lean-ctx-3.9.7>    Compiling semver v1.0.28
lean-ctx-3.9.7>    Compiling crossbeam-utils v0.8.21
lean-ctx-3.9.7>    Compiling num_threads v0.1.7
lean-ctx-3.9.7>    Compiling powerfmt v0.2.0
lean-ctx-3.9.7>    Compiling tower-service v0.3.3
lean-ctx-3.9.7>    Compiling deranged v0.5.8
lean-ctx-3.9.7>    Compiling rustix v1.1.4
lean-ctx-3.9.7>    Compiling rustversion v1.0.22
lean-ctx-3.9.7>    Compiling rustc_version v0.4.1
lean-ctx-3.9.7>    Compiling lock_api v0.4.14
lean-ctx-3.9.7>    Compiling icu_normalizer v2.2.0
lean-ctx-3.9.7>    Compiling icu_properties v2.2.0
lean-ctx-3.9.7>    Compiling inout v0.1.4
lean-ctx-3.9.7>    Compiling rand v0.10.1
lean-ctx-3.9.7>    Compiling darling_macro v0.23.0
lean-ctx-3.9.7>    Compiling unicode-normalization v0.1.25
lean-ctx-3.9.7>    Compiling time v0.3.51
lean-ctx-3.9.7>    Compiling hmac v0.13.0
lean-ctx-3.9.7>    Compiling hashbrown v0.16.1
lean-ctx-3.9.7>    Compiling byteorder v1.5.0
lean-ctx-3.9.7>    Compiling either v1.16.0
lean-ctx-3.9.7>    Compiling zerocopy v0.8.52
lean-ctx-3.9.7>    Compiling getrandom v0.3.4
lean-ctx-3.9.7>    Compiling linux-raw-sys v0.12.1
lean-ctx-3.9.7>    Compiling unicode-properties v0.1.4
lean-ctx-3.9.7>    Compiling crc32fast v1.5.0
lean-ctx-3.9.7>    Compiling unicode-bidi v0.3.18
lean-ctx-3.9.7>    Compiling indexmap v2.14.0
lean-ctx-3.9.7>    Compiling idna_adapter v1.2.2
lean-ctx-3.9.7>    Compiling stringprep v0.1.5
lean-ctx-3.9.7>    Compiling parking_lot v0.12.5
lean-ctx-3.9.7>    Compiling darling v0.23.0
lean-ctx-3.9.7>    Compiling cipher v0.4.4
lean-ctx-3.9.7>    Compiling sha2 v0.11.0
lean-ctx-3.9.7>    Compiling form_urlencoded v1.2.2
lean-ctx-3.9.7>    Compiling crossbeam-epoch v0.9.20
lean-ctx-3.9.7>    Compiling heck v0.5.0
lean-ctx-3.9.7>    Compiling litrs v1.0.0
lean-ctx-3.9.7>    Compiling tower-layer v0.3.3
lean-ctx-3.9.7>    Compiling try-lock v0.2.5
lean-ctx-3.9.7>    Compiling simd-adler32 v0.3.9
lean-ctx-3.9.7>    Compiling iana-time-zone v0.1.65
lean-ctx-3.9.7>    Compiling document-features v0.2.12
lean-ctx-3.9.7>    Compiling chrono v0.4.45
lean-ctx-3.9.7>    Compiling want v0.3.1
lean-ctx-3.9.7>    Compiling strum_macros v0.28.0
lean-ctx-3.9.7>    Compiling castaway v0.2.4
lean-ctx-3.9.7>    Compiling idna v1.1.0
lean-ctx-3.9.7>    Compiling itertools v0.14.0
lean-ctx-3.9.7>    Compiling zstd-sys v2.0.16+zstd.1.5.7
lean-ctx-3.9.7>    Compiling uuid v1.23.3
lean-ctx-3.9.7>    Compiling sync_wrapper v1.0.2
lean-ctx-3.9.7>    Compiling atomic-waker v1.1.2
lean-ctx-3.9.7>    Compiling unicode-segmentation v1.13.3
lean-ctx-3.9.7>    Compiling signal-hook v0.3.18
lean-ctx-3.9.7>    Compiling instability v0.3.12
lean-ctx-3.9.7>    Compiling adler2 v2.0.1
lean-ctx-3.9.7>    Compiling unicode-width v0.2.2
lean-ctx-3.9.7>    Compiling static_assertions v1.1.0
lean-ctx-3.9.7>    Compiling httpdate v1.0.3
lean-ctx-3.9.7>    Compiling hyper v1.10.1
lean-ctx-3.9.7>    Compiling compact_str v0.9.1
lean-ctx-3.9.7>    Compiling miniz_oxide v0.8.9
lean-ctx-3.9.7>    Compiling strum v0.28.0
lean-ctx-3.9.7>    Compiling convert_case v0.10.0
lean-ctx-3.9.7>    Compiling unicode-truncate v2.0.1
lean-ctx-3.9.7>    Compiling rand_core v0.9.5
lean-ctx-3.9.7>    Compiling kasuari v0.4.12
lean-ctx-3.9.7>    Compiling tokio-util v0.7.18
lean-ctx-3.9.7>    Compiling http-body-util v0.1.3
lean-ctx-3.9.7>    Compiling lru v0.18.0
lean-ctx-3.9.7>    Compiling md-5 v0.11.0
lean-ctx-3.9.7>    Compiling cookie v0.18.1
lean-ctx-3.9.7>    Compiling lazy_static v1.5.0
lean-ctx-3.9.7>    Compiling zlib-rs v0.6.4
lean-ctx-3.9.7>    Compiling indoc v2.0.7
lean-ctx-3.9.7>    Compiling siphasher v1.0.3
lean-ctx-3.9.7>    Compiling critical-section v1.2.0
lean-ctx-3.9.7>    Compiling cfg_aliases v0.2.1
lean-ctx-3.9.7>    Compiling fallible-iterator v0.2.0
lean-ctx-3.9.7>    Compiling ipnet v2.12.0
lean-ctx-3.9.7>    Compiling openssl-probe v0.2.1
lean-ctx-3.9.7>    Compiling postgres-protocol v0.6.12
lean-ctx-3.9.7>    Compiling hyper-util v0.1.20
lean-ctx-3.9.7>    Compiling rustls-native-certs v0.8.4
lean-ctx-3.9.7>    Compiling nix v0.31.3
lean-ctx-3.9.7>    Compiling phf_shared v0.13.1
lean-ctx-3.9.7>    Compiling ratatui-core v0.1.2
lean-ctx-3.9.7>    Compiling derive_more-impl v2.1.1
lean-ctx-3.9.7>    Compiling ppv-lite86 v0.2.21
lean-ctx-3.9.7>    Compiling rand_chacha v0.9.0
lean-ctx-3.9.7>    Compiling tower v0.5.3
lean-ctx-3.9.7>    Compiling url v2.5.8
lean-ctx-3.9.7>    Compiling flate2 v1.1.9
lean-ctx-3.9.7>    Compiling der_derive v0.7.3
lean-ctx-3.9.7>    Compiling async-trait v0.1.89
lean-ctx-3.9.7>    Compiling webpki-roots v1.0.8
lean-ctx-3.9.7>    Compiling tikv-jemalloc-sys v0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8
lean-ctx-3.9.7>    Compiling matrixmultiply v0.3.10
lean-ctx-3.9.7>    Compiling flagset v0.4.7
lean-ctx-3.9.7>    Compiling zstd-safe v7.2.4
lean-ctx-3.9.7>    Compiling ref-cast v1.0.25
lean-ctx-3.9.7>    Compiling vcpkg v0.2.15
lean-ctx-3.9.7>    Compiling const-oid v0.9.6
lean-ctx-3.9.7>    Compiling psl-types v2.0.11
lean-ctx-3.9.7>    Compiling publicsuffix v2.3.0
lean-ctx-3.9.7>    Compiling derive_more v2.1.1
lean-ctx-3.9.7>    Compiling rand v0.9.4
lean-ctx-3.9.7>    Compiling signal-hook-mio v0.2.5
lean-ctx-3.9.7>    Compiling phf v0.13.1
lean-ctx-3.9.7>    Compiling libsqlite3-sys v0.37.0
lean-ctx-3.9.7>    Compiling postgres-types v0.2.14
lean-ctx-3.9.7>    Compiling der v0.7.10
lean-ctx-3.9.7>    Compiling crossbeam-deque v0.8.6
lean-ctx-3.9.7>    Compiling tree-sitter v0.26.9
lean-ctx-3.9.7>    Compiling curve25519-dalek v4.1.3
lean-ctx-3.9.7>    Compiling heapless v0.7.17
lean-ctx-3.9.7>    Compiling futures-executor v0.3.32
lean-ctx-3.9.7>    Compiling sha1 v0.10.6
lean-ctx-3.9.7>    Compiling sha2 v0.10.9
lean-ctx-3.9.7>    Compiling bstr v1.12.1
lean-ctx-3.9.7>    Compiling ref-cast-impl v1.0.25
lean-ctx-3.9.7>    Compiling serde_derive_internals v0.29.1
lean-ctx-3.9.7>    Compiling whoami v2.1.2
lean-ctx-3.9.7>    Compiling inout v0.2.2
lean-ctx-3.9.7>    Compiling line-clipping v0.3.7
lean-ctx-3.9.7>    Compiling pom v1.1.0
lean-ctx-3.9.7>    Compiling bit-vec v0.8.0
lean-ctx-3.9.7>    Compiling data-encoding v2.11.0
lean-ctx-3.9.7>    Compiling rayon-core v1.13.0
lean-ctx-3.9.7>    Compiling anyhow v1.0.103
lean-ctx-3.9.7>    Compiling winnow v1.0.3
lean-ctx-3.9.7>    Compiling ort-sys v2.0.0-rc.12
lean-ctx-3.9.7>    Compiling rawpointer v0.2.1
lean-ctx-3.9.7>    Compiling mime v0.3.17
lean-ctx-3.9.7>    Compiling paste v1.0.15
lean-ctx-3.9.7>    Compiling portable-atomic v1.13.1
lean-ctx-3.9.7>    Compiling bit-set v0.8.0
lean-ctx-3.9.7>    Compiling schemars_derive v1.2.1
lean-ctx-3.9.7>    Compiling ratatui-widgets v0.3.2
lean-ctx-3.9.7>    Compiling tokio-postgres v0.7.18
lean-ctx-3.9.7>    Compiling toml_parser v1.1.2+spec-1.1.0
lean-ctx-3.9.7>    Compiling cipher v0.5.2
lean-ctx-3.9.7>    Compiling spki v0.7.3
lean-ctx-3.9.7>    Compiling futures v0.3.32
lean-ctx-3.9.7>    Compiling cookie_store v0.22.0
lean-ctx-3.9.7>    Compiling crossterm v0.29.0
lean-ctx-3.9.7>    Compiling webpki-roots v0.26.11
lean-ctx-3.9.7>    Compiling tower-http v0.6.11
lean-ctx-3.9.7>    Compiling aes v0.8.4
lean-ctx-3.9.7>    Compiling cbc v0.1.2
lean-ctx-3.9.7>    Compiling ecb v0.1.2
lean-ctx-3.9.7>    Compiling hash32 v0.2.1
lean-ctx-3.9.7>    Compiling deadpool-runtime v0.1.4
lean-ctx-3.9.7>    Compiling regex v1.12.4
lean-ctx-3.9.7>    Compiling md-5 v0.10.6
lean-ctx-3.9.7>    Compiling num-integer v0.1.46
lean-ctx-3.9.7>    Compiling num-complex v0.4.6
lean-ctx-3.9.7>    Compiling toml_datetime v1.1.1+spec-1.1.0
lean-ctx-3.9.7>    Compiling tree-sitter-bash v0.25.1
lean-ctx-3.9.7>    Compiling tree-sitter-c v0.24.2
lean-ctx-3.9.7>    Compiling tree-sitter-elixir v0.3.5
lean-ctx-3.9.7>    Compiling tree-sitter-haskell v0.23.1
lean-ctx-3.9.7>    Compiling tree-sitter-luau v1.2.0
lean-ctx-3.9.7>    Compiling tree-sitter-dart v0.2.0
lean-ctx-3.9.7>    Compiling tree-sitter-go v0.25.0
lean-ctx-3.9.7>    Compiling tree-sitter-python v0.25.0
lean-ctx-3.9.7>    Compiling blake3 v1.8.5
lean-ctx-3.9.7>    Compiling tree-sitter-c-sharp v0.23.5
lean-ctx-3.9.7>    Compiling tree-sitter-ruby v0.23.1
lean-ctx-3.9.7>    Compiling tree-sitter-lua v0.5.0
lean-ctx-3.9.7>    Compiling tree-sitter-java v0.23.5
lean-ctx-3.9.7>    Compiling tree-sitter-javascript v0.25.0
lean-ctx-3.9.7>    Compiling tree-sitter-nix v0.3.0
lean-ctx-3.9.7>    Compiling tree-sitter-julia v0.23.1
lean-ctx-3.9.7>    Compiling tree-sitter-solidity v1.2.13
lean-ctx-3.9.7>    Compiling tree-sitter-ocaml v0.25.0
lean-ctx-3.9.7>    Compiling tree-sitter-gdscript v6.1.0
lean-ctx-3.9.7>    Compiling tree-sitter-kotlin-ng v1.1.0
lean-ctx-3.9.7>    Compiling tree-sitter-swift v0.7.3
lean-ctx-3.9.7>    Compiling tree-sitter-typescript v0.23.2
lean-ctx-3.9.7>    Compiling tree-sitter-zig v1.1.2
lean-ctx-3.9.7>    Compiling tree-sitter-rust v0.24.2
lean-ctx-3.9.7>    Compiling tree-sitter-scala v0.26.0
lean-ctx-3.9.7>    Compiling tree-sitter-cpp v0.23.4
lean-ctx-3.9.7>    Compiling tree-sitter-php v0.24.2
lean-ctx-3.9.7>    Compiling tree-sitter-powershell v0.26.4
lean-ctx-3.9.7>    Compiling universal-hash v0.5.1
lean-ctx-3.9.7>    Compiling num_cpus v1.17.0
lean-ctx-3.9.7>    Compiling nom v8.0.0
lean-ctx-3.9.7>    Compiling encoding_rs v0.8.35
lean-ctx-3.9.7>    Compiling toml_writer v1.1.1+spec-1.1.0
lean-ctx-3.9.7>    Compiling ttf-parser v0.25.1
lean-ctx-3.9.7>    Compiling cpubits v0.1.1
lean-ctx-3.9.7>    Compiling libbz2-rs-sys v0.2.5
lean-ctx-3.9.7>    Compiling same-file v1.0.6
lean-ctx-3.9.7>    Compiling option-ext v0.2.0
lean-ctx-3.9.7>    Compiling signature v2.2.0
lean-ctx-3.9.7>    Compiling opaque-debug v0.3.1
lean-ctx-3.9.7>    Compiling bitflags v1.3.2
lean-ctx-3.9.7>    Compiling constant_time_eq v0.4.2
lean-ctx-3.9.7>    Compiling dyn-clone v1.0.20
lean-ctx-3.9.7>    Compiling rmcp v2.0.0 (https://github.com/modelcontextprotocol/rust-sdk.git?rev=67a3085#67a30859)
lean-ctx-3.9.7>    Compiling rangemap v1.7.1
lean-ctx-3.9.7>    Compiling weezl v0.1.12
lean-ctx-3.9.7>    Compiling bumpalo v3.20.3
lean-ctx-3.9.7>    Compiling zopfli v0.8.3
lean-ctx-3.9.7>    Compiling lopdf v0.42.0
lean-ctx-3.9.7>    Compiling schemars v1.2.1
lean-ctx-3.9.7>    Compiling fluent-uri v0.1.4
lean-ctx-3.9.7>    Compiling poly1305 v0.8.0
lean-ctx-3.9.7>    Compiling ed25519 v2.2.3
lean-ctx-3.9.7>    Compiling dirs-sys v0.5.0
lean-ctx-3.9.7>    Compiling walkdir v2.5.0
lean-ctx-3.9.7>    Compiling bzip2 v0.6.1
lean-ctx-3.9.7>    Compiling aes v0.9.1
lean-ctx-3.9.7>    Compiling deadpool v0.12.3
lean-ctx-3.9.7>    Compiling zstd v0.13.3
lean-ctx-3.9.7>    Compiling ndarray v0.17.2
lean-ctx-3.9.7>    Compiling process-wrap v9.1.0
lean-ctx-3.9.7>    Compiling ratatui-crossterm v0.1.2
lean-ctx-3.9.7>    Compiling ratatui-macros v0.7.2
lean-ctx-3.9.7>    Compiling x509-cert v0.2.5
lean-ctx-3.9.7>    Compiling fancy-regex v0.17.0
lean-ctx-3.9.7>    Compiling axum-core v0.5.6
lean-ctx-3.9.7>    Compiling type1-encoding-parser v0.1.1
lean-ctx-3.9.7>    Compiling adobe-cmap-parser v0.4.1
lean-ctx-3.9.7>    Compiling globset v0.4.18
lean-ctx-3.9.7>    Compiling sharded-slab v0.1.7
lean-ctx-3.9.7>    Compiling sse-stream v0.2.2
lean-ctx-3.9.7>    Compiling rmcp-macros v2.0.0 (https://github.com/modelcontextprotocol/rust-sdk.git?rev=67a3085#67a30859)
lean-ctx-3.9.7>    Compiling xattr v1.6.1
lean-ctx-3.9.7>    Compiling lzma-rust2 v0.16.4
lean-ctx-3.9.7>    Compiling serde_urlencoded v0.7.1
lean-ctx-3.9.7>    Compiling crossbeam-channel v0.5.15
lean-ctx-3.9.7>    Compiling chacha20 v0.9.1
lean-ctx-3.9.7>    Compiling hashlink v0.11.1
lean-ctx-3.9.7>    Compiling pbkdf2 v0.13.0
lean-ctx-3.9.7>    Compiling tokio-stream v0.1.18
lean-ctx-3.9.7>    Compiling cobs v0.3.0
lean-ctx-3.9.7>    Compiling matchers v0.2.0
lean-ctx-3.9.7>    Compiling serde_repr v0.1.20
lean-ctx-3.9.7>    Compiling sha1 v0.11.0
lean-ctx-3.9.7>    Compiling ureq-proto v0.6.0
lean-ctx-3.9.7>    Compiling euclid v0.20.14
lean-ctx-3.9.7>    Compiling tracing-log v0.2.0
lean-ctx-3.9.7>    Compiling serde_spanned v1.1.1
lean-ctx-3.9.7>    Compiling serde_path_to_error v0.1.20
lean-ctx-3.9.7>    Compiling aead v0.5.2
lean-ctx-3.9.7>    Compiling rtoolbox v0.0.5
lean-ctx-3.9.7>    Compiling filetime v0.2.29
lean-ctx-3.9.7>    Compiling thread_local v1.1.9
lean-ctx-3.9.7>    Compiling libloading v0.9.0
lean-ctx-3.9.7>    Compiling streaming-iterator v0.1.9
lean-ctx-3.9.7>    Compiling tagptr v0.2.0
lean-ctx-3.9.7>    Compiling rustc-hash v2.1.2
lean-ctx-3.9.7>    Compiling deflate64 v0.1.12
lean-ctx-3.9.7>    Compiling typed-path v0.12.3
lean-ctx-3.9.7>    Compiling ppmd-rust v1.4.0
lean-ctx-3.9.7>    Compiling fallible-iterator v0.3.0
lean-ctx-3.9.7>    Compiling libyaml-rs v0.3.0
lean-ctx-3.9.7>    Compiling nu-ansi-term v0.50.3
lean-ctx-3.9.7>    Compiling postscript v0.14.1
lean-ctx-3.9.7>    Compiling pastey v0.2.3
lean-ctx-3.9.7>    Compiling arrayref v0.3.9
lean-ctx-3.9.7>    Compiling fastrand v2.4.1
lean-ctx-3.9.7>    Compiling utf8-zero v0.8.1
lean-ctx-3.9.7>    Compiling cff-parser v0.2.0
lean-ctx-3.9.7>    Compiling lean-ctx v3.9.7 (/build/source/rust)
lean-ctx-3.9.7>    Compiling matchit v0.8.4
lean-ctx-3.9.7>    Compiling arrayvec v0.7.7
lean-ctx-3.9.7>    Compiling fallible-streaming-iterator v0.1.9
lean-ctx-3.9.7>    Compiling rusqlite v0.39.0
lean-ctx-3.9.7>    Compiling zip v8.6.0
lean-ctx-3.9.7>    Compiling pdf-extract v0.12.0
lean-ctx-3.9.7>    Compiling yaml_serde v0.10.4
lean-ctx-3.9.7>    Compiling tempfile v3.27.0
lean-ctx-3.9.7>    Compiling tracing-subscriber v0.3.23
lean-ctx-3.9.7>    Compiling moka v0.12.15
lean-ctx-3.9.7>    Compiling tiktoken-rs v0.12.0
lean-ctx-3.9.7>    Compiling ort v2.0.0-rc.12
lean-ctx-3.9.7>    Compiling tar v0.4.46
lean-ctx-3.9.7>    Compiling rpassword v7.5.4
lean-ctx-3.9.7>    Compiling chacha20poly1305 v0.10.1
lean-ctx-3.9.7>    Compiling toml v1.1.2+spec-1.1.0
lean-ctx-3.9.7>    Compiling lsp-types v0.97.0
lean-ctx-3.9.7>    Compiling postcard v1.1.3
lean-ctx-3.9.7>    Compiling ignore v0.4.26
lean-ctx-3.9.7>    Compiling rayon v1.12.0
lean-ctx-3.9.7>    Compiling ed25519-dalek v2.2.0
lean-ctx-3.9.7>    Compiling ratatui v0.30.2
lean-ctx-3.9.7>    Compiling deadpool-postgres v0.14.1
lean-ctx-3.9.7>    Compiling dirs v6.0.0
lean-ctx-3.9.7>    Compiling toml_edit v0.25.12+spec-1.1.0
lean-ctx-3.9.7>    Compiling tower-http v0.7.0
lean-ctx-3.9.7>    Compiling gethostname v1.1.0
lean-ctx-3.9.7>    Compiling hkdf v0.13.0
lean-ctx-3.9.7>    Compiling fs2 v0.4.3
lean-ctx-3.9.7>    Compiling memmap2 v0.9.11
lean-ctx-3.9.7>    Compiling libloading v0.8.9
lean-ctx-3.9.7>    Compiling similar v3.1.1
lean-ctx-3.9.7>    Compiling glob v0.3.3
lean-ctx-3.9.7>    Compiling bytecount v0.6.9
lean-ctx-3.9.7>    Compiling hex v0.4.3
lean-ctx-3.9.7>    Compiling urlencoding v2.1.3
lean-ctx-3.9.7>    Compiling rustls-webpki v0.103.13
lean-ctx-3.9.7>    Compiling tikv-jemallocator v0.7.0
lean-ctx-3.9.7>    Compiling tikv-jemalloc-ctl v0.7.0
lean-ctx-3.9.7>    Compiling tokio-rustls v0.26.4
lean-ctx-3.9.7>    Compiling rustls-platform-verifier v0.6.2
lean-ctx-3.9.7>    Compiling tungstenite v0.29.0
lean-ctx-3.9.7>    Compiling ureq v3.3.0
lean-ctx-3.9.7>    Compiling hyper-rustls v0.27.9
lean-ctx-3.9.7>    Compiling tokio-postgres-rustls v0.14.0
lean-ctx-3.9.7>    Compiling reqwest v0.13.4
lean-ctx-3.9.7>    Compiling tokio-tungstenite v0.29.0
lean-ctx-3.9.7>    Compiling axum v0.8.9
lean-ctx-3.9.7>     Finished `release` profile [optimized] target(s) in 26m 58s
lean-ctx-3.9.7> /build/source
lean-ctx-3.9.7> Executing cargoInstallPostBuildHook
lean-ctx-3.9.7> Finished cargoInstallPostBuildHook
lean-ctx-3.9.7> Finished cargoBuildHook
lean-ctx-3.9.7> buildPhase completed in 26 minutes 58 seconds
lean-ctx-3.9.7> Running phase: installPhase
lean-ctx-3.9.7> Executing cargoInstallHook
lean-ctx-3.9.7> Finished cargoInstallHook
lean-ctx-3.9.7> Running phase: fixupPhase
lean-ctx-3.9.7> shrinking RPATHs of ELF executables and libraries in /nix/store/w42xmid26b82crhz69s2rry0pn0iybkp-lean-ctx-3.9.7
lean-ctx-3.9.7> shrinking /nix/store/w42xmid26b82crhz69s2rry0pn0iybkp-lean-ctx-3.9.7/bin/lean-ctx
lean-ctx-3.9.7> checking for references to /build/ in /nix/store/w42xmid26b82crhz69s2rry0pn0iybkp-lean-ctx-3.9.7...
lean-ctx-3.9.7> patching script interpreter paths in /nix/store/w42xmid26b82crhz69s2rry0pn0iybkp-lean-ctx-3.9.7
lean-ctx-3.9.7> stripping (with command strip and flags -S -p) in  /nix/store/w42xmid26b82crhz69s2rry0pn0iybkp-lean-ctx-3.9.7/bin
lean-ctx-3.9.7> Running phase: installCheckPhase
lean-ctx-3.9.7> Executing versionCheckPhase
lean-ctx-3.9.7> Successfully managed to find version 3.9.7 in the output of the command /nix/store/w42xmid26b82crhz69s2rry0pn0iybkp-lean-ctx-3.9.7/bin/lean-ctx --version
lean-ctx-3.9.7> lean-ctx 3.9.7 (official, https://github.com/yvgude/lean-ctx)
lean-ctx-3.9.7> Finished versionCheckPhase
lean-ctx-3.9.7> no Makefile or custom installCheckPhase, doing nothing

post-build step Upload to niks3: ok
time=2026-07-12T03:26:38.493Z level=INFO msg="Uploading 1 paths to niks3.numtide.com (6 already cached)"
time=2026-07-12T03:26:38.493Z level=INFO msg="Uploading w42xmid26b82crhz69s2rry0pn0iybkp-lean-ctx-3.9.7 (96.9MB)"
time=2026-07-12T03:26:40.601Z level=INFO msg="Uploading 1 narinfos"
time=2026-07-12T03:26:40.802Z level=INFO msg="Upload complete. (2.677s)"