these 2 derivations will be built:
  /nix/store/1cl2s4wsr6mdfg7qx54c2b1mq6w4jfhj-lean-ctx-3.9.6-vendor.drv
  /nix/store/z4wny2q4jkk0vqz7z1cnhyld3vhq4dic-lean-ctx-3.9.6.drv
building '/nix/store/1cl2s4wsr6mdfg7qx54c2b1mq6w4jfhj-lean-ctx-3.9.6-vendor.drv' on 'ssh-ng://nix-remote-builder@bld3.m.ntd.one'
building '/nix/store/1cl2s4wsr6mdfg7qx54c2b1mq6w4jfhj-lean-ctx-3.9.6-vendor.drv'
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/adler2-2.0.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/adobe-cmap-parser-0.4.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/aead-0.5.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/aes-0.8.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/aes-0.9.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ahash-0.8.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/aho-corasick-1.1.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/alloca-0.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/allocator-api2-0.2.21
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/android_system_properties-0.1.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/anes-0.1.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/anstyle-1.0.14
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/anyhow-1.0.103
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/approx-0.5.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/argon2-0.5.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/arrayref-0.3.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/arrayvec-0.7.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/async-trait-0.1.89
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/atomic-0.6.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/atomic-polyfill-1.0.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/atomic-waker-1.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/autocfg-1.5.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/aws-lc-rs-1.17.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/aws-lc-sys-0.41.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/axum-0.8.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/axum-core-0.5.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/base64-0.22.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/base64ct-1.8.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bit-set-0.5.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bit-set-0.8.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bit-vec-0.6.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bit-vec-0.8.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bitflags-1.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bitflags-2.13.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/blake2-0.10.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/blake3-1.8.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/block-buffer-0.10.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/block-buffer-0.12.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/block-padding-0.3.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/borrow-or-share-0.2.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bstr-1.12.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bumpalo-3.20.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/by_address-1.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bytecount-0.6.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bytemuck-1.25.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/byteorder-1.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/byteorder-lite-0.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bytes-1.12.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/bzip2-0.6.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cast-0.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/castaway-0.2.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cbc-0.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cc-1.2.65
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cesu8-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cff-parser-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cfg-if-1.0.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cfg_aliases-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/chacha20-0.9.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/chacha20-0.10.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/chacha20poly1305-0.10.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/chrono-0.4.45
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ciborium-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ciborium-io-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ciborium-ll-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cipher-0.4.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cipher-0.5.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/clap-4.6.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/clap_builder-4.6.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/clap_lex-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cmake-0.1.58
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cmov-0.5.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cobs-0.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/color_quant-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/combine-4.6.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/compact_str-0.9.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/console-0.16.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/const-oid-0.9.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/const-oid-0.10.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/constant_time_eq-0.4.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/convert_case-0.10.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cookie-0.18.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cookie_store-0.22.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/core-foundation-0.10.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/core-foundation-sys-0.8.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/core_maths-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cpubits-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cpufeatures-0.2.17
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/cpufeatures-0.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crc32fast-1.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/criterion-0.8.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/criterion-plot-0.8.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/critical-section-1.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crossbeam-channel-0.5.15
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crossbeam-deque-0.8.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crossbeam-epoch-0.9.20
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crossbeam-utils-0.8.21
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crossterm-0.29.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crossterm_winapi-0.9.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crunchy-0.2.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crypto-common-0.1.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/crypto-common-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/csscolorparser-0.6.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ctutils-0.4.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/curve25519-dalek-4.1.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/curve25519-dalek-derive-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/darling-0.23.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/darling_core-0.23.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/darling_macro-0.23.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/data-encoding-2.11.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/data-url-0.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/deadpool-0.12.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/deadpool-postgres-0.14.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/deadpool-runtime-0.1.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/deflate64-0.1.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/deltae-0.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/der-0.7.10
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/der_derive-0.7.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/deranged-0.5.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/derive_more-2.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/derive_more-impl-2.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/digest-0.10.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/digest-0.11.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/dirs-6.0.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/dirs-sys-0.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/displaydoc-0.2.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/document-features-0.2.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/dunce-1.0.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/dyn-clone-1.0.20
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ecb-0.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ed25519-2.2.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ed25519-dalek-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/either-1.16.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/email-encoding-0.4.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/email_address-0.2.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/embedded-io-0.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/embedded-io-0.6.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/encode_unicode-1.0.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/encoding_rs-0.8.35
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/equivalent-1.0.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/errno-0.3.14
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/euclid-0.20.14
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/euclid-0.22.14
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fallible-iterator-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fallible-iterator-0.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fallible-streaming-iterator-0.1.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fancy-regex-0.11.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fancy-regex-0.17.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fancy-regex-0.18.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fast-srgb8-1.0.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fastrand-2.4.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fdeflate-0.3.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fiat-crypto-0.2.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/filedescriptor-0.8.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/filetime-0.2.29
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/find-msvc-tools-0.1.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/finl_unicode-1.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fixedbitset-0.4.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/flagset-0.4.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/flate2-1.1.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/float-cmp-0.9.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fluent-uri-0.1.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fluent-uri-0.4.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fnv-1.0.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/foldhash-0.1.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/foldhash-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fontconfig-parser-0.5.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fontdb-0.23.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/form_urlencoded-1.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fraction-0.15.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fs2-0.4.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/fs_extra-1.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-channel-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-core-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-executor-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-io-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-macro-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-sink-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-task-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/futures-util-0.3.32
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/generic-array-0.14.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/gethostname-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/getrandom-0.2.17
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/getrandom-0.3.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/getrandom-0.4.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/gif-0.14.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/glob-0.3.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/globset-0.4.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/half-2.7.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hash32-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hashbrown-0.15.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hashbrown-0.16.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hashbrown-0.17.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hashlink-0.12.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/heapless-0.7.17
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/heck-0.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hermit-abi-0.5.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hex-0.4.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hkdf-0.13.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hmac-0.13.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/http-1.4.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/http-body-1.0.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/http-body-util-0.1.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/httparse-1.10.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/httpdate-1.0.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hybrid-array-0.4.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hyper-1.10.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hyper-rustls-0.27.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/hyper-util-0.1.20
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/iana-time-zone-0.1.65
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/iana-time-zone-haiku-0.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/icu_collections-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/icu_locale_core-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/icu_normalizer-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/icu_normalizer_data-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/icu_properties-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/icu_properties_data-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/icu_provider-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ident_case-1.0.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/idna-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/idna_adapter-1.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ignore-0.4.26
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/image-webp-0.2.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/imagesize-0.14.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/indexmap-2.14.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/indoc-2.0.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/inout-0.1.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/inout-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/insta-1.48.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/instability-0.3.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ipnet-2.12.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/itertools-0.13.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/itertools-0.14.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/itoa-1.0.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/jni-0.21.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/jni-sys-0.3.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/jni-sys-0.4.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/jni-sys-macros-0.4.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/jobserver-0.1.34
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/js-sys-0.3.102
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/jsonschema-0.46.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/jsonwebtoken-10.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/kasuari-0.4.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/kurbo-0.13.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lab-0.11.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lazy_static-1.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/leb128fmt-0.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lettre-0.11.22
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/libbz2-rs-sys-0.2.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/libc-0.2.186
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/libloading-0.8.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/libloading-0.9.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/libm-0.2.16
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/libredox-0.1.17
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/libsqlite3-sys-0.38.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/libyaml-rs-0.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/line-clipping-0.3.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/linux-raw-sys-0.12.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/litemap-0.8.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/litrs-1.0.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lock_api-0.4.14
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/log-0.4.33
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lopdf-0.42.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lru-0.18.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lru-slab-0.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lsp-types-0.97.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/lzma-rust2-0.16.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/mac_address-1.1.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/matchers-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/matchit-0.8.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/matrixmultiply-0.3.10
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/md-5-0.10.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/md-5-0.11.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/memchr-2.8.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/memmap2-0.9.11
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/memmem-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/memoffset-0.9.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/micromap-0.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/mime-0.3.17
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/minimal-lexical-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/miniz_oxide-0.8.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/mio-1.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/moka-0.12.15
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ndarray-0.17.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/nix-0.29.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/nix-0.31.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/nom-7.1.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/nom-8.0.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/nu-ansi-term-0.50.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-0.4.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-bigint-0.4.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-cmp-0.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-complex-0.4.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-conv-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-derive-0.4.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-integer-0.1.46
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-iter-0.1.45
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-rational-0.4.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num-traits-0.2.19
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num_cpus-1.17.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/num_threads-0.1.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/objc2-core-foundation-0.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/objc2-system-configuration-0.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/once_cell-1.21.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/oorandom-11.1.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/opaque-debug-0.3.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/openssl-probe-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/option-ext-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ordered-float-4.6.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ort-2.0.0-rc.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ort-sys-2.0.0-rc.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/outref-0.5.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/page_size-0.6.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/palette-0.7.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/palette_derive-0.7.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/parking_lot-0.12.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/parking_lot_core-0.9.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/password-hash-0.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/paste-1.0.15
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pastey-0.2.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pbkdf2-0.13.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pdf-extract-0.12.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pem-3.0.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/percent-encoding-2.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pest-2.8.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pest_derive-2.8.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pest_generator-2.8.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pest_meta-2.8.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/phf-0.11.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/phf-0.13.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/phf_codegen-0.11.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/phf_generator-0.11.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/phf_macros-0.11.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/phf_shared-0.11.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/phf_shared-0.13.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pico-args-0.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pin-project-lite-0.2.17
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pkcs8-0.10.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pkg-config-0.3.33
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/plotters-0.3.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/plotters-backend-0.3.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/plotters-svg-0.3.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/png-0.18.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/poly1305-0.8.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/polycool-0.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/pom-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/portable-atomic-1.13.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/portable-atomic-util-0.2.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/postcard-1.1.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/postgres-protocol-0.6.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/postgres-types-0.2.14
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/postscript-0.14.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/potential_utf-0.1.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/powerfmt-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ppmd-rust-1.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ppv-lite86-0.2.21
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/proc-macro2-1.0.106
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/process-wrap-9.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/proptest-1.11.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/psl-types-2.0.11
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/publicsuffix-2.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/quick-error-1.2.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/quick-error-2.0.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/quinn-0.11.11
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/quinn-proto-0.11.15
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/quinn-udp-0.5.14
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/quote-1.0.46
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/quoted_printable-0.5.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/r-efi-5.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/r-efi-6.0.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rand-0.8.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rand-0.9.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rand-0.10.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rand_chacha-0.9.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rand_core-0.6.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rand_core-0.9.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rand_core-0.10.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rand_xorshift-0.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rangemap-1.7.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ratatui-0.30.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ratatui-core-0.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ratatui-crossterm-0.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ratatui-macros-0.7.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ratatui-termina-0.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ratatui-termwiz-0.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ratatui-widgets-0.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rawpointer-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rayon-1.12.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rayon-core-1.13.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/redox_syscall-0.5.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/redox_users-0.5.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ref-cast-1.0.25
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ref-cast-impl-1.0.25
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/referencing-0.46.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/regex-1.12.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/regex-automata-0.4.14
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/regex-syntax-0.8.11
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/reqwest-0.13.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/resvg-0.47.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rgb-0.8.53
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ring-0.17.14
lean-ctx-3.9.6-vendor> Copying to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-git-0/rmcp-2.0.0
lean-ctx-3.9.6-vendor> Patching /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-git-0/rmcp-2.0.0/Cargo.toml
lean-ctx-3.9.6-vendor> Copying to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-git-0/rmcp-macros-2.0.0
lean-ctx-3.9.6-vendor> Patching /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-git-0/rmcp-macros-2.0.0/Cargo.toml
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/roxmltree-0.20.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/roxmltree-0.21.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rpassword-7.5.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rsqlite-vfs-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rtoolbox-0.0.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rusqlite-0.40.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustc-hash-2.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustc_version-0.4.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustix-1.1.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustls-0.23.40
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustls-native-certs-0.8.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustls-pki-types-1.14.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustls-platform-verifier-0.6.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustls-platform-verifier-android-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustls-webpki-0.103.13
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustversion-1.0.22
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rusty-fork-0.3.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/rustybuzz-0.20.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ryu-1.0.23
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/same-file-1.0.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/schannel-0.1.29
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/schemars-1.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/schemars_derive-1.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/scopeguard-1.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/security-framework-3.7.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/security-framework-sys-2.17.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/semver-1.0.28
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde-1.0.228
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde_core-1.0.228
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde_derive-1.0.228
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde_derive_internals-0.29.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde_json-1.0.150
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde_path_to_error-0.1.20
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde_repr-0.1.20
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde_spanned-1.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serde_urlencoded-0.7.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serial_test-3.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/serial_test_derive-3.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/sha1-0.10.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/sha1-0.11.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/sha2-0.10.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/sha2-0.11.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/sharded-slab-0.1.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/shlex-2.0.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/signal-hook-0.3.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/signal-hook-mio-0.2.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/signal-hook-registry-1.4.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/signature-2.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/simd-adler32-0.3.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/similar-2.7.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/similar-3.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/simple_asn1-0.6.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/simplecss-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/siphasher-1.0.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/slab-0.4.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/slotmap-1.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/smallvec-1.15.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/socket2-0.6.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/socks-0.3.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/spin-0.9.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/spki-0.7.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/sqlite-wasm-rs-0.5.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/sse-stream-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/stable_deref_trait-1.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/static_assertions-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/streaming-iterator-0.1.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/strict-num-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/string-interner-0.19.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/stringprep-0.1.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/strsim-0.11.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/strum-0.28.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/strum_macros-0.28.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/subtle-2.6.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/svgtypes-0.16.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/syn-1.0.109
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/syn-2.0.118
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/sync_wrapper-1.0.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/synstructure-0.13.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tagptr-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tar-0.4.46
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tempfile-3.27.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/termina-0.3.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/terminfo-0.9.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/termios-0.3.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/termwiz-0.23.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/thiserror-1.0.69
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/thiserror-2.0.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/thiserror-impl-1.0.69
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/thiserror-impl-2.0.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/thread_local-1.1.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tiktoken-rs-0.12.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tikv-jemalloc-ctl-0.7.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tikv-jemalloc-sys-0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tikv-jemallocator-0.7.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/time-0.3.51
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/time-core-0.1.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/time-macros-0.2.30
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tiny-skia-0.12.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tiny-skia-path-0.12.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tinystr-0.8.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tinytemplate-1.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tinyvec-1.11.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tinyvec_macros-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tls_codec-0.4.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tls_codec_derive-0.4.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tokio-1.52.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tokio-macros-2.7.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tokio-postgres-0.7.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tokio-postgres-rustls-0.14.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tokio-rustls-0.26.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tokio-stream-0.1.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tokio-tungstenite-0.29.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tokio-util-0.7.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/toml-1.1.2+spec-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/toml_datetime-1.1.1+spec-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/toml_edit-0.25.12+spec-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/toml_parser-1.1.2+spec-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/toml_writer-1.1.1+spec-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tower-0.5.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tower-http-0.6.11
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tower-http-0.7.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tower-layer-0.3.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tower-service-0.3.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tracing-0.1.44
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tracing-attributes-0.1.31
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tracing-core-0.1.36
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tracing-log-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tracing-subscriber-0.3.23
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-0.26.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-bash-0.25.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-c-0.24.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-c-sharp-0.23.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-cpp-0.23.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-dart-0.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-elixir-0.3.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-gdscript-6.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-go-0.25.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-haskell-0.23.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-java-0.23.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-javascript-0.25.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-julia-0.23.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-kotlin-ng-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-language-0.1.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-lua-0.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-luau-1.2.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-nix-0.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-ocaml-0.25.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-php-0.24.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-powershell-0.26.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-python-0.25.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-ruby-0.23.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-rust-0.24.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-scala-0.26.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-solidity-1.2.13
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-swift-0.7.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-typescript-0.23.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tree-sitter-zig-1.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/try-lock-0.2.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ttf-parser-0.25.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/tungstenite-0.29.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/type1-encoding-parser-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/typed-path-0.12.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/typenum-1.20.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ucd-trie-0.1.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unarray-0.1.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-bidi-0.3.18
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-bidi-mirroring-0.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-ccc-0.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-general-category-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-ident-1.0.24
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-normalization-0.1.25
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-properties-0.1.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-script-0.5.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-segmentation-1.13.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-truncate-2.0.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-vo-0.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/unicode-width-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/universal-hash-0.5.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/untrusted-0.9.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ureq-3.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/ureq-proto-0.6.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/url-2.5.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/urlencoding-2.1.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/usvg-0.47.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/utf8-zero-0.8.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/utf8_iter-1.0.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/utf8parse-0.2.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/uuid-1.23.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/uuid-simd-0.8.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/valuable-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/vcpkg-0.2.15
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/version_check-0.9.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/vsimd-0.8.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/vtparse-0.6.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wait-timeout-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/walkdir-2.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/want-0.3.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasi-0.11.1+wasi-snapshot-preview1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasi-0.14.7+wasi-0.2.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasip2-1.0.4+wasi-0.2.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasite-1.0.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasm-bindgen-0.2.125
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasm-bindgen-futures-0.4.75
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasm-bindgen-macro-0.2.125
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasm-bindgen-macro-support-0.2.125
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasm-bindgen-shared-0.2.125
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasm-encoder-0.252.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasm-streams-0.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasmi-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasmi_collections-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasmi_core-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasmi_ir-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasmparser-0.239.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wasmparser-0.252.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wast-252.0.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wat-1.252.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/web-sys-0.3.102
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/web-time-1.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/webpki-root-certs-1.0.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/webpki-roots-0.26.11
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/webpki-roots-1.0.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/weezl-0.1.12
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wezterm-bidi-0.2.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wezterm-blob-leases-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wezterm-color-types-0.3.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wezterm-dynamic-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wezterm-dynamic-derive-0.1.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wezterm-input-types-0.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/whoami-2.1.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/winapi-0.3.9
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/winapi-i686-pc-windows-gnu-0.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/winapi-util-0.1.11
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/winapi-x86_64-pc-windows-gnu-0.4.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-0.62.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-collections-0.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-core-0.62.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-future-0.3.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-implement-0.60.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-interface-0.59.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-link-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-numerics-0.3.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-result-0.4.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-strings-0.5.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-sys-0.45.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-sys-0.52.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-sys-0.59.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-sys-0.61.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-targets-0.42.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-targets-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows-threading-0.2.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_aarch64_gnullvm-0.42.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_aarch64_gnullvm-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_aarch64_msvc-0.42.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_aarch64_msvc-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_i686_gnu-0.42.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_i686_gnu-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_i686_gnullvm-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_i686_msvc-0.42.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_i686_msvc-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_x86_64_gnu-0.42.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_x86_64_gnu-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_x86_64_gnullvm-0.42.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_x86_64_gnullvm-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_x86_64_msvc-0.42.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/windows_x86_64_msvc-0.52.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/winnow-1.0.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/wit-bindgen-0.57.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/writeable-0.6.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/x509-cert-0.2.5
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/xattr-1.6.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/xmlwriter-0.1.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/yaml_serde-0.10.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/yoke-0.8.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/yoke-derive-0.8.2
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zerocopy-0.8.52
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zerocopy-derive-0.8.52
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zerofrom-0.1.8
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zerofrom-derive-0.1.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zeroize-1.9.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zeroize_derive-1.5.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zerotrie-0.2.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zerovec-0.11.6
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zerovec-derive-0.11.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zip-8.6.0
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zlib-rs-0.6.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zmij-1.0.21
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zopfli-0.8.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zstd-0.13.3
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zstd-safe-7.2.4
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zstd-sys-2.0.16+zstd.1.5.7
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zune-core-0.5.1
lean-ctx-3.9.6-vendor> Unpacking to /nix/store/86f88jpgarl0wzzh68gmp8wf2q9iiwp0-lean-ctx-3.9.6-vendor/source-registry-0/zune-jpeg-0.5.15
building '/nix/store/z4wny2q4jkk0vqz7z1cnhyld3vhq4dic-lean-ctx-3.9.6.drv' on 'ssh-ng://nix-remote-builder@bld3.m.ntd.one'
building '/nix/store/z4wny2q4jkk0vqz7z1cnhyld3vhq4dic-lean-ctx-3.9.6.drv'
lean-ctx-3.9.6> Using versionCheckHook
lean-ctx-3.9.6> Running phase: unpackPhase
lean-ctx-3.9.6> unpacking source archive /nix/store/ydik66x247g8j5qw7z0yy6rvczvaqws2-source
lean-ctx-3.9.6> source root is source
lean-ctx-3.9.6> Executing cargoSetupPostUnpackHook
lean-ctx-3.9.6> Finished cargoSetupPostUnpackHook
lean-ctx-3.9.6> Running phase: patchPhase
lean-ctx-3.9.6> Executing cargoSetupPostPatchHook
lean-ctx-3.9.6> Validating consistency between /build/source/rust/Cargo.lock and /build/lean-ctx-3.9.6-vendor/Cargo.lock
lean-ctx-3.9.6> Finished cargoSetupPostPatchHook
lean-ctx-3.9.6> Running phase: updateAutotoolsGnuConfigScriptsPhase
lean-ctx-3.9.6> Running phase: configurePhase
lean-ctx-3.9.6> Running phase: buildPhase
lean-ctx-3.9.6> Executing cargoBuildHook
lean-ctx-3.9.6> /build/source/rust /build/source
lean-ctx-3.9.6> cargoBuildHook flags: -j 8 --target aarch64-unknown-linux-gnu --offline --profile release
lean-ctx-3.9.6>    Compiling libc v0.2.186
lean-ctx-3.9.6>    Compiling shlex v2.0.1
lean-ctx-3.9.6>    Compiling find-msvc-tools v0.1.9
lean-ctx-3.9.6>    Compiling proc-macro2 v1.0.106
lean-ctx-3.9.6>    Compiling quote v1.0.46
lean-ctx-3.9.6>    Compiling unicode-ident v1.0.24
lean-ctx-3.9.6>    Compiling cfg-if v1.0.4
lean-ctx-3.9.6>    Compiling tree-sitter-language v0.1.7
lean-ctx-3.9.6>    Compiling typenum v1.20.1
lean-ctx-3.9.6>    Compiling log v0.4.33
lean-ctx-3.9.6>    Compiling zeroize v1.9.0
lean-ctx-3.9.6>    Compiling memchr v2.8.2
lean-ctx-3.9.6>    Compiling itoa v1.0.18
lean-ctx-3.9.6>    Compiling version_check v0.9.5
lean-ctx-3.9.6>    Compiling bytes v1.12.0
lean-ctx-3.9.6>    Compiling pin-project-lite v0.2.17
lean-ctx-3.9.6>    Compiling smallvec v1.15.2
lean-ctx-3.9.6>    Compiling serde_core v1.0.228
lean-ctx-3.9.6>    Compiling generic-array v0.14.7
lean-ctx-3.9.6>    Compiling once_cell v1.21.4
lean-ctx-3.9.6>    Compiling futures-core v0.3.32
lean-ctx-3.9.6>    Compiling zmij v1.0.21
lean-ctx-3.9.6>    Compiling bitflags v2.13.0
lean-ctx-3.9.6>    Compiling syn v2.0.118
lean-ctx-3.9.6>    Compiling equivalent v1.0.2
lean-ctx-3.9.6>    Compiling stable_deref_trait v1.2.1
lean-ctx-3.9.6>    Compiling jobserver v0.1.34
lean-ctx-3.9.6>    Compiling hybrid-array v0.4.12
lean-ctx-3.9.6>    Compiling foldhash v0.2.0
lean-ctx-3.9.6>    Compiling allocator-api2 v0.2.21
lean-ctx-3.9.6>    Compiling futures-sink v0.3.32
lean-ctx-3.9.6>    Compiling cc v1.2.65
lean-ctx-3.9.6>    Compiling autocfg v1.5.1
lean-ctx-3.9.6>    Compiling dunce v1.0.5
lean-ctx-3.9.6>    Compiling fs_extra v1.3.0
lean-ctx-3.9.6>    Compiling futures-channel v0.3.32
lean-ctx-3.9.6>    Compiling serde v1.0.228
lean-ctx-3.9.6>    Compiling hashbrown v0.17.1
lean-ctx-3.9.6>    Compiling getrandom v0.2.17
lean-ctx-3.9.6>    Compiling errno v0.3.14
lean-ctx-3.9.6>    Compiling mio v1.2.1
lean-ctx-3.9.6>    Compiling signal-hook-registry v1.4.8
lean-ctx-3.9.6>    Compiling rand_core v0.6.4
lean-ctx-3.9.6>    Compiling socket2 v0.6.4
lean-ctx-3.9.6>    Compiling crypto-common v0.1.7
lean-ctx-3.9.6>    Compiling crypto-common v0.2.2
lean-ctx-3.9.6>    Compiling http v1.4.2
lean-ctx-3.9.6>    Compiling cmake v0.1.58
lean-ctx-3.9.6>    Compiling thiserror v2.0.18
lean-ctx-3.9.6>    Compiling futures-io v0.3.32
lean-ctx-3.9.6>    Compiling percent-encoding v2.3.2
lean-ctx-3.9.6>    Compiling slab v0.4.12
lean-ctx-3.9.6>    Compiling subtle v2.6.1
lean-ctx-3.9.6>    Compiling futures-task v0.3.32
lean-ctx-3.9.6>    Compiling num-traits v0.2.19
lean-ctx-3.9.6>    Compiling rustls-pki-types v1.14.1
lean-ctx-3.9.6>    Compiling aws-lc-rs v1.17.0
lean-ctx-3.9.6>    Compiling getrandom v0.4.3
lean-ctx-3.9.6>    Compiling aws-lc-sys v0.41.0
lean-ctx-3.9.6>    Compiling ring v0.17.14
lean-ctx-3.9.6>    Compiling cmov v0.5.4
lean-ctx-3.9.6>    Compiling rand_core v0.10.1
lean-ctx-3.9.6>    Compiling ctutils v0.4.2
lean-ctx-3.9.6>    Compiling block-buffer v0.12.1
lean-ctx-3.9.6>    Compiling tracing-core v0.1.36
lean-ctx-3.9.6>    Compiling const-oid v0.10.2
lean-ctx-3.9.6>    Compiling base64 v0.22.1
lean-ctx-3.9.6>    Compiling digest v0.11.3
lean-ctx-3.9.6>    Compiling untrusted v0.9.0
lean-ctx-3.9.6>    Compiling serde_json v1.0.150
lean-ctx-3.9.6>    Compiling litemap v0.8.2
lean-ctx-3.9.6>    Compiling writeable v0.6.3
lean-ctx-3.9.6>    Compiling httparse v1.10.1
lean-ctx-3.9.6>    Compiling rustls v0.23.40
lean-ctx-3.9.6>    Compiling block-buffer v0.10.4
lean-ctx-3.9.6>    Compiling utf8_iter v1.0.4
lean-ctx-3.9.6>    Compiling pkg-config v0.3.33
lean-ctx-3.9.6>    Compiling icu_normalizer_data v2.2.0
lean-ctx-3.9.6>    Compiling icu_properties_data v2.2.0
lean-ctx-3.9.6>    Compiling digest v0.10.7
lean-ctx-3.9.6>    Compiling http-body v1.0.1
lean-ctx-3.9.6>    Compiling cpufeatures v0.3.0
lean-ctx-3.9.6>    Compiling aho-corasick v1.1.4
lean-ctx-3.9.6>    Compiling regex-syntax v0.8.11
lean-ctx-3.9.6>    Compiling tinyvec_macros v0.1.1
lean-ctx-3.9.6>    Compiling parking_lot_core v0.9.12
lean-ctx-3.9.6>    Compiling strsim v0.11.1
lean-ctx-3.9.6>    Compiling ident_case v1.0.1
lean-ctx-3.9.6>    Compiling time-core v0.1.9
lean-ctx-3.9.6>    Compiling num-conv v0.2.2
lean-ctx-3.9.6>    Compiling synstructure v0.13.2
lean-ctx-3.9.6>    Compiling time-macros v0.2.30
lean-ctx-3.9.6>    Compiling darling_core v0.23.0
lean-ctx-3.9.6>    Compiling tinyvec v1.11.0
lean-ctx-3.9.6>    Compiling regex-automata v0.4.14
lean-ctx-3.9.6>    Compiling chacha20 v0.10.0
lean-ctx-3.9.6>    Compiling cpufeatures v0.2.17
lean-ctx-3.9.6>    Compiling block-padding v0.3.3
lean-ctx-3.9.6>    Compiling deranged v0.5.8
lean-ctx-3.9.6>    Compiling scopeguard v1.2.0
lean-ctx-3.9.6>    Compiling zerofrom-derive v0.1.7
lean-ctx-3.9.6>    Compiling tokio-macros v2.7.0
lean-ctx-3.9.6>    Compiling yoke-derive v0.8.2
lean-ctx-3.9.6>    Compiling tokio v1.52.3
lean-ctx-3.9.6>    Compiling serde_derive v1.0.228
lean-ctx-3.9.6>    Compiling zerovec-derive v0.11.3
lean-ctx-3.9.6>    Compiling zerofrom v0.1.8
lean-ctx-3.9.6>    Compiling futures-macro v0.3.32
lean-ctx-3.9.6>    Compiling yoke v0.8.3
lean-ctx-3.9.6>    Compiling futures-util v0.3.32
lean-ctx-3.9.6>    Compiling thiserror-impl v2.0.18
lean-ctx-3.9.6>    Compiling zerovec v0.11.6
lean-ctx-3.9.6>    Compiling displaydoc v0.2.6
lean-ctx-3.9.6>    Compiling tracing-attributes v0.1.31
lean-ctx-3.9.6>    Compiling tinystr v0.8.3
lean-ctx-3.9.6>    Compiling icu_locale_core v2.2.0
lean-ctx-3.9.6>    Compiling potential_utf v0.1.5
lean-ctx-3.9.6>    Compiling zerotrie v0.2.4
lean-ctx-3.9.6>    Compiling icu_collections v2.2.0
lean-ctx-3.9.6>    Compiling tracing v0.1.44
lean-ctx-3.9.6>    Compiling ryu v1.0.23
lean-ctx-3.9.6>    Compiling icu_provider v2.2.0
lean-ctx-3.9.6>    Compiling num_threads v0.1.7
lean-ctx-3.9.6>    Compiling crossbeam-utils v0.8.21
lean-ctx-3.9.6>    Compiling rustix v1.1.4
lean-ctx-3.9.6>    Compiling semver v1.0.28
lean-ctx-3.9.6>    Compiling rustversion v1.0.22
lean-ctx-3.9.6>    Compiling powerfmt v0.2.0
lean-ctx-3.9.6>    Compiling tower-service v0.3.3
lean-ctx-3.9.6>    Compiling time v0.3.51
lean-ctx-3.9.6>    Compiling rustc_version v0.4.1
lean-ctx-3.9.6>    Compiling icu_properties v2.2.0
lean-ctx-3.9.6>    Compiling icu_normalizer v2.2.0
lean-ctx-3.9.6>    Compiling darling_macro v0.23.0
lean-ctx-3.9.6>    Compiling lock_api v0.4.14
lean-ctx-3.9.6>    Compiling inout v0.1.4
lean-ctx-3.9.6>    Compiling rand v0.10.1
lean-ctx-3.9.6>    Compiling unicode-normalization v0.1.25
lean-ctx-3.9.6>    Compiling hmac v0.13.0
lean-ctx-3.9.6>    Compiling crc32fast v1.5.0
lean-ctx-3.9.6>    Compiling either v1.16.0
lean-ctx-3.9.6>    Compiling getrandom v0.3.4
lean-ctx-3.9.6>    Compiling linux-raw-sys v0.12.1
lean-ctx-3.9.6>    Compiling unicode-properties v0.1.4
lean-ctx-3.9.6>    Compiling zerocopy v0.8.52
lean-ctx-3.9.6>    Compiling byteorder v1.5.0
lean-ctx-3.9.6>    Compiling unicode-bidi v0.3.18
lean-ctx-3.9.6>    Compiling indexmap v2.14.0
lean-ctx-3.9.6>    Compiling stringprep v0.1.5
lean-ctx-3.9.6>    Compiling parking_lot v0.12.5
lean-ctx-3.9.6>    Compiling idna_adapter v1.2.2
lean-ctx-3.9.6>    Compiling darling v0.23.0
lean-ctx-3.9.6>    Compiling cipher v0.4.4
lean-ctx-3.9.6>    Compiling sha2 v0.11.0
lean-ctx-3.9.6>    Compiling form_urlencoded v1.2.2
lean-ctx-3.9.6>    Compiling heck v0.5.0
lean-ctx-3.9.6>    Compiling crossbeam-epoch v0.9.20
lean-ctx-3.9.6>    Compiling tower-layer v0.3.3
lean-ctx-3.9.6>    Compiling iana-time-zone v0.1.65
lean-ctx-3.9.6>    Compiling simd-adler32 v0.3.9
lean-ctx-3.9.6>    Compiling litrs v1.0.0
lean-ctx-3.9.6>    Compiling try-lock v0.2.5
lean-ctx-3.9.6>    Compiling want v0.3.1
lean-ctx-3.9.6>    Compiling chrono v0.4.45
lean-ctx-3.9.6>    Compiling strum_macros v0.28.0
lean-ctx-3.9.6>    Compiling castaway v0.2.4
lean-ctx-3.9.6>    Compiling idna v1.1.0
lean-ctx-3.9.6>    Compiling document-features v0.2.12
lean-ctx-3.9.6>    Compiling itertools v0.14.0
lean-ctx-3.9.6>    Compiling zstd-sys v2.0.16+zstd.1.5.7
lean-ctx-3.9.6>    Compiling uuid v1.23.3
lean-ctx-3.9.6>    Compiling hashbrown v0.16.1
lean-ctx-3.9.6>    Compiling sync_wrapper v1.0.2
lean-ctx-3.9.6>    Compiling unicode-width v0.2.2
lean-ctx-3.9.6>    Compiling adler2 v2.0.1
lean-ctx-3.9.6>    Compiling httpdate v1.0.3
lean-ctx-3.9.6>    Compiling atomic-waker v1.1.2
lean-ctx-3.9.6>    Compiling instability v0.3.12
lean-ctx-3.9.6>    Compiling unicode-segmentation v1.13.3
lean-ctx-3.9.6>    Compiling static_assertions v1.1.0
lean-ctx-3.9.6>    Compiling signal-hook v0.3.18
lean-ctx-3.9.6>    Compiling compact_str v0.9.1
lean-ctx-3.9.6>    Compiling convert_case v0.10.0
lean-ctx-3.9.6>    Compiling hyper v1.10.1
lean-ctx-3.9.6>    Compiling kasuari v0.4.12
lean-ctx-3.9.6>    Compiling miniz_oxide v0.8.9
lean-ctx-3.9.6>    Compiling unicode-truncate v2.0.1
lean-ctx-3.9.6>    Compiling strum v0.28.0
lean-ctx-3.9.6>    Compiling rand_core v0.9.5
lean-ctx-3.9.6>    Compiling tokio-util v0.7.18
lean-ctx-3.9.6>    Compiling http-body-util v0.1.3
lean-ctx-3.9.6>    Compiling md-5 v0.11.0
lean-ctx-3.9.6>    Compiling lru v0.18.0
lean-ctx-3.9.6>    Compiling cookie v0.18.1
lean-ctx-3.9.6>    Compiling lazy_static v1.5.0
lean-ctx-3.9.6>    Compiling critical-section v1.2.0
lean-ctx-3.9.6>    Compiling ipnet v2.12.0
lean-ctx-3.9.6>    Compiling siphasher v1.0.3
lean-ctx-3.9.6>    Compiling indoc v2.0.7
lean-ctx-3.9.6>    Compiling zlib-rs v0.6.4
lean-ctx-3.9.6>    Compiling openssl-probe v0.2.1
lean-ctx-3.9.6>    Compiling cfg_aliases v0.2.1
lean-ctx-3.9.6>    Compiling fallible-iterator v0.2.0
lean-ctx-3.9.6>    Compiling nix v0.31.3
lean-ctx-3.9.6>    Compiling rustls-native-certs v0.8.4
lean-ctx-3.9.6>    Compiling postgres-protocol v0.6.12
lean-ctx-3.9.6>    Compiling hyper-util v0.1.20
lean-ctx-3.9.6>    Compiling ppv-lite86 v0.2.21
lean-ctx-3.9.6>    Compiling phf_shared v0.13.1
lean-ctx-3.9.6>    Compiling ratatui-core v0.1.2
lean-ctx-3.9.6>    Compiling rand_chacha v0.9.0
lean-ctx-3.9.6>    Compiling derive_more-impl v2.1.1
lean-ctx-3.9.6>    Compiling flate2 v1.1.9
lean-ctx-3.9.6>    Compiling tower v0.5.3
lean-ctx-3.9.6>    Compiling url v2.5.8
lean-ctx-3.9.6>    Compiling async-trait v0.1.89
lean-ctx-3.9.6>    Compiling der_derive v0.7.3
lean-ctx-3.9.6>    Compiling webpki-roots v1.0.8
lean-ctx-3.9.6>    Compiling tikv-jemalloc-sys v0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8
lean-ctx-3.9.6>    Compiling matrixmultiply v0.3.10
lean-ctx-3.9.6>    Compiling const-oid v0.9.6
lean-ctx-3.9.6>    Compiling psl-types v2.0.11
lean-ctx-3.9.6>    Compiling flagset v0.4.7
lean-ctx-3.9.6>    Compiling vcpkg v0.2.15
lean-ctx-3.9.6>    Compiling ref-cast v1.0.25
lean-ctx-3.9.6>    Compiling zstd-safe v7.2.4
lean-ctx-3.9.6>    Compiling publicsuffix v2.3.0
lean-ctx-3.9.6>    Compiling libsqlite3-sys v0.38.1
lean-ctx-3.9.6>    Compiling signal-hook-mio v0.2.5
lean-ctx-3.9.6>    Compiling derive_more v2.1.1
lean-ctx-3.9.6>    Compiling rand v0.9.4
lean-ctx-3.9.6>    Compiling der v0.7.10
lean-ctx-3.9.6>    Compiling phf v0.13.1
lean-ctx-3.9.6>    Compiling postgres-types v0.2.14
lean-ctx-3.9.6>    Compiling crossbeam-deque v0.8.6
lean-ctx-3.9.6>    Compiling tree-sitter v0.26.9
lean-ctx-3.9.6>    Compiling curve25519-dalek v4.1.3
lean-ctx-3.9.6>    Compiling heapless v0.7.17
lean-ctx-3.9.6>    Compiling futures-executor v0.3.32
lean-ctx-3.9.6>    Compiling bstr v1.12.1
lean-ctx-3.9.6>    Compiling ref-cast-impl v1.0.25
lean-ctx-3.9.6>    Compiling sha1 v0.10.6
lean-ctx-3.9.6>    Compiling sha2 v0.10.9
lean-ctx-3.9.6>    Compiling serde_derive_internals v0.29.1
lean-ctx-3.9.6>    Compiling inout v0.2.2
lean-ctx-3.9.6>    Compiling whoami v2.1.2
lean-ctx-3.9.6>    Compiling line-clipping v0.3.7
lean-ctx-3.9.6>    Compiling rayon-core v1.13.0
lean-ctx-3.9.6>    Compiling bit-vec v0.8.0
lean-ctx-3.9.6>    Compiling data-encoding v2.11.0
lean-ctx-3.9.6>    Compiling rawpointer v0.2.1
lean-ctx-3.9.6>    Compiling pom v1.1.0
lean-ctx-3.9.6>    Compiling paste v1.0.15
lean-ctx-3.9.6>    Compiling portable-atomic v1.13.1
lean-ctx-3.9.6>    Compiling winnow v1.0.3
lean-ctx-3.9.6>    Compiling anyhow v1.0.103
lean-ctx-3.9.6>    Compiling mime v0.3.17
lean-ctx-3.9.6>    Compiling ort-sys v2.0.0-rc.12
lean-ctx-3.9.6>    Compiling schemars_derive v1.2.1
lean-ctx-3.9.6>    Compiling bit-set v0.8.0
lean-ctx-3.9.6>    Compiling ratatui-widgets v0.3.2
lean-ctx-3.9.6>    Compiling tokio-postgres v0.7.18
lean-ctx-3.9.6>    Compiling cipher v0.5.2
lean-ctx-3.9.6>    Compiling spki v0.7.3
lean-ctx-3.9.6>    Compiling futures v0.3.32
lean-ctx-3.9.6>    Compiling toml_parser v1.1.2+spec-1.1.0
lean-ctx-3.9.6>    Compiling cookie_store v0.22.0
lean-ctx-3.9.6>    Compiling crossterm v0.29.0
lean-ctx-3.9.6>    Compiling webpki-roots v0.26.11
lean-ctx-3.9.6>    Compiling tower-http v0.6.11
lean-ctx-3.9.6>    Compiling ecb v0.1.2
lean-ctx-3.9.6>    Compiling cbc v0.1.2
lean-ctx-3.9.6>    Compiling aes v0.8.4
lean-ctx-3.9.6>    Compiling hash32 v0.2.1
lean-ctx-3.9.6>    Compiling deadpool-runtime v0.1.4
lean-ctx-3.9.6>    Compiling regex v1.12.4
lean-ctx-3.9.6>    Compiling md-5 v0.10.6
lean-ctx-3.9.6>    Compiling num-complex v0.4.6
lean-ctx-3.9.6>    Compiling num-integer v0.1.46
lean-ctx-3.9.6>    Compiling toml_datetime v1.1.1+spec-1.1.0
lean-ctx-3.9.6>    Compiling tree-sitter-kotlin-ng v1.1.0
lean-ctx-3.9.6>    Compiling tree-sitter-powershell v0.26.4
lean-ctx-3.9.6>    Compiling tree-sitter-luau v1.2.0
lean-ctx-3.9.6>    Compiling tree-sitter-ruby v0.23.1
lean-ctx-3.9.6>    Compiling tree-sitter-nix v0.3.0
lean-ctx-3.9.6>    Compiling tree-sitter-typescript v0.23.2
lean-ctx-3.9.6>    Compiling tree-sitter-swift v0.7.3
lean-ctx-3.9.6>    Compiling tree-sitter-ocaml v0.25.0
lean-ctx-3.9.6>    Compiling tree-sitter-go v0.25.0
lean-ctx-3.9.6>    Compiling tree-sitter-bash v0.25.1
lean-ctx-3.9.6>    Compiling tree-sitter-elixir v0.3.5
lean-ctx-3.9.6>    Compiling tree-sitter-zig v1.1.2
lean-ctx-3.9.6>    Compiling tree-sitter-javascript v0.25.0
lean-ctx-3.9.6>    Compiling tree-sitter-c-sharp v0.23.5
lean-ctx-3.9.6>    Compiling tree-sitter-java v0.23.5
lean-ctx-3.9.6>    Compiling tree-sitter-scala v0.26.0
lean-ctx-3.9.6>    Compiling tree-sitter-python v0.25.0
lean-ctx-3.9.6>    Compiling tree-sitter-lua v0.5.0
lean-ctx-3.9.6>    Compiling tree-sitter-haskell v0.23.1
lean-ctx-3.9.6>    Compiling tree-sitter-gdscript v6.1.0
lean-ctx-3.9.6>    Compiling tree-sitter-cpp v0.23.4
lean-ctx-3.9.6>    Compiling tree-sitter-php v0.24.2
lean-ctx-3.9.6>    Compiling tree-sitter-solidity v1.2.13
lean-ctx-3.9.6>    Compiling tree-sitter-dart v0.2.0
lean-ctx-3.9.6>    Compiling tree-sitter-rust v0.24.2
lean-ctx-3.9.6>    Compiling tree-sitter-julia v0.23.1
lean-ctx-3.9.6>    Compiling tree-sitter-c v0.24.2
lean-ctx-3.9.6>    Compiling blake3 v1.8.5
lean-ctx-3.9.6>    Compiling universal-hash v0.5.1
lean-ctx-3.9.6>    Compiling num_cpus v1.17.0
lean-ctx-3.9.6>    Compiling nom v8.0.0
lean-ctx-3.9.6>    Compiling encoding_rs v0.8.35
lean-ctx-3.9.6>    Compiling opaque-debug v0.3.1
lean-ctx-3.9.6>    Compiling constant_time_eq v0.4.2
lean-ctx-3.9.6>    Compiling dyn-clone v1.0.20
lean-ctx-3.9.6>    Compiling toml_writer v1.1.1+spec-1.1.0
lean-ctx-3.9.6>    Compiling weezl v0.1.12
lean-ctx-3.9.6>    Compiling ttf-parser v0.25.1
lean-ctx-3.9.6>    Compiling cpubits v0.1.1
lean-ctx-3.9.6>    Compiling bitflags v1.3.2
lean-ctx-3.9.6>    Compiling libbz2-rs-sys v0.2.5
lean-ctx-3.9.6>    Compiling bumpalo v3.20.3
lean-ctx-3.9.6>    Compiling same-file v1.0.6
lean-ctx-3.9.6>    Compiling signature v2.2.0
lean-ctx-3.9.6>    Compiling rangemap v1.7.1
lean-ctx-3.9.6>    Compiling rmcp v2.0.0 (https://github.com/modelcontextprotocol/rust-sdk.git?rev=67a3085#67a30859)
lean-ctx-3.9.6>    Compiling option-ext v0.2.0
lean-ctx-3.9.6>    Compiling dirs-sys v0.5.0
lean-ctx-3.9.6>    Compiling ed25519 v2.2.3
lean-ctx-3.9.6>    Compiling walkdir v2.5.0
lean-ctx-3.9.6>    Compiling lopdf v0.42.0
lean-ctx-3.9.6>    Compiling zopfli v0.8.3
lean-ctx-3.9.6>    Compiling bzip2 v0.6.1
lean-ctx-3.9.6>    Compiling fluent-uri v0.1.4
lean-ctx-3.9.6>    Compiling aes v0.9.1
lean-ctx-3.9.6>    Compiling schemars v1.2.1
lean-ctx-3.9.6>    Compiling poly1305 v0.8.0
lean-ctx-3.9.6>    Compiling deadpool v0.12.3
lean-ctx-3.9.6>    Compiling zstd v0.13.3
lean-ctx-3.9.6>    Compiling ndarray v0.17.2
lean-ctx-3.9.6>    Compiling process-wrap v9.1.0
lean-ctx-3.9.6>    Compiling ratatui-crossterm v0.1.2
lean-ctx-3.9.6>    Compiling ratatui-macros v0.7.2
lean-ctx-3.9.6>    Compiling x509-cert v0.2.5
lean-ctx-3.9.6>    Compiling fancy-regex v0.17.0
lean-ctx-3.9.6>    Compiling rustls-webpki v0.103.13
lean-ctx-3.9.6>    Compiling axum-core v0.5.6
lean-ctx-3.9.6>    Compiling type1-encoding-parser v0.1.1
lean-ctx-3.9.6>    Compiling adobe-cmap-parser v0.4.1
lean-ctx-3.9.6>    Compiling globset v0.4.18
lean-ctx-3.9.6>    Compiling sharded-slab v0.1.7
lean-ctx-3.9.6>    Compiling sse-stream v0.2.2
lean-ctx-3.9.6>    Compiling rmcp-macros v2.0.0 (https://github.com/modelcontextprotocol/rust-sdk.git?rev=67a3085#67a30859)
lean-ctx-3.9.6>    Compiling xattr v1.6.1
lean-ctx-3.9.6>    Compiling lzma-rust2 v0.16.4
lean-ctx-3.9.6>    Compiling crossbeam-channel v0.5.15
lean-ctx-3.9.6>    Compiling serde_urlencoded v0.7.1
lean-ctx-3.9.6>    Compiling chacha20 v0.9.1
lean-ctx-3.9.6>    Compiling pbkdf2 v0.13.0
lean-ctx-3.9.6>    Compiling tokio-stream v0.1.18
lean-ctx-3.9.6>    Compiling cobs v0.3.0
lean-ctx-3.9.6>    Compiling matchers v0.2.0
lean-ctx-3.9.6>    Compiling serde_repr v0.1.20
lean-ctx-3.9.6>    Compiling sha1 v0.11.0
lean-ctx-3.9.6>    Compiling ureq-proto v0.6.0
lean-ctx-3.9.6>    Compiling euclid v0.20.14
lean-ctx-3.9.6>    Compiling tracing-log v0.2.0
lean-ctx-3.9.6>    Compiling serde_spanned v1.1.1
lean-ctx-3.9.6>    Compiling serde_path_to_error v0.1.20
lean-ctx-3.9.6>    Compiling hashlink v0.12.0
lean-ctx-3.9.6>    Compiling aead v0.5.2
lean-ctx-3.9.6>    Compiling rtoolbox v0.0.5
lean-ctx-3.9.6>    Compiling filetime v0.2.29
lean-ctx-3.9.6>    Compiling libloading v0.9.0
lean-ctx-3.9.6>    Compiling thread_local v1.1.9
lean-ctx-3.9.6>    Compiling arrayvec v0.7.7
lean-ctx-3.9.6>    Compiling pastey v0.2.3
lean-ctx-3.9.6>    Compiling fallible-iterator v0.3.0
lean-ctx-3.9.6>    Compiling nu-ansi-term v0.50.3
lean-ctx-3.9.6>    Compiling cff-parser v0.2.0
lean-ctx-3.9.6>    Compiling libyaml-rs v0.3.0
lean-ctx-3.9.6>    Compiling fallible-streaming-iterator v0.1.9
lean-ctx-3.9.6>    Compiling arrayref v0.3.9
lean-ctx-3.9.6>    Compiling tagptr v0.2.0
lean-ctx-3.9.6>    Compiling streaming-iterator v0.1.9
lean-ctx-3.9.6>    Compiling fastrand v2.4.1
lean-ctx-3.9.6>    Compiling utf8-zero v0.8.1
lean-ctx-3.9.6>    Compiling typed-path v0.12.3
lean-ctx-3.9.6>    Compiling rustc-hash v2.1.2
lean-ctx-3.9.6>    Compiling postscript v0.14.1
lean-ctx-3.9.6>    Compiling deflate64 v0.1.12
lean-ctx-3.9.6>    Compiling lean-ctx v3.9.6 (/build/source/rust)
lean-ctx-3.9.6>    Compiling ppmd-rust v1.4.0
lean-ctx-3.9.6>    Compiling matchit v0.8.4
lean-ctx-3.9.6>    Compiling yaml_serde v0.10.4
lean-ctx-3.9.6>    Compiling pdf-extract v0.12.0
lean-ctx-3.9.6>    Compiling tokio-rustls v0.26.4
lean-ctx-3.9.6>    Compiling rustls-platform-verifier v0.6.2
lean-ctx-3.9.6>    Compiling tungstenite v0.29.0
lean-ctx-3.9.6>    Compiling hyper-rustls v0.27.9
lean-ctx-3.9.6>    Compiling reqwest v0.13.4
lean-ctx-3.9.6>    Compiling tokio-tungstenite v0.29.0
lean-ctx-3.9.6>    Compiling tokio-postgres-rustls v0.14.0
lean-ctx-3.9.6>    Compiling axum v0.8.9
lean-ctx-3.9.6>    Compiling ureq v3.3.0
lean-ctx-3.9.6>    Compiling zip v8.6.0
lean-ctx-3.9.6>    Compiling tiktoken-rs v0.12.0
lean-ctx-3.9.6>    Compiling tempfile v3.27.0
lean-ctx-3.9.6>    Compiling moka v0.12.15
lean-ctx-3.9.6>    Compiling rusqlite v0.40.1
lean-ctx-3.9.6>    Compiling tracing-subscriber v0.3.23
lean-ctx-3.9.6>    Compiling ort v2.0.0-rc.12
lean-ctx-3.9.6>    Compiling tar v0.4.46
lean-ctx-3.9.6>    Compiling rpassword v7.5.4
lean-ctx-3.9.6>    Compiling chacha20poly1305 v0.10.1
lean-ctx-3.9.6>    Compiling toml v1.1.2+spec-1.1.0
lean-ctx-3.9.6>    Compiling lsp-types v0.97.0
lean-ctx-3.9.6>    Compiling postcard v1.1.3
lean-ctx-3.9.6>    Compiling ignore v0.4.26
lean-ctx-3.9.6>    Compiling rayon v1.12.0
lean-ctx-3.9.6>    Compiling ed25519-dalek v2.2.0
lean-ctx-3.9.6>    Compiling ratatui v0.30.2
lean-ctx-3.9.6>    Compiling deadpool-postgres v0.14.1
lean-ctx-3.9.6>    Compiling dirs v6.0.0
lean-ctx-3.9.6>    Compiling toml_edit v0.25.12+spec-1.1.0
lean-ctx-3.9.6>    Compiling tower-http v0.7.0
lean-ctx-3.9.6>    Compiling gethostname v1.1.0
lean-ctx-3.9.6>    Compiling hkdf v0.13.0
lean-ctx-3.9.6>    Compiling memmap2 v0.9.11
lean-ctx-3.9.6>    Compiling fs2 v0.4.3
lean-ctx-3.9.6>    Compiling libloading v0.8.9
lean-ctx-3.9.6>    Compiling glob v0.3.3
lean-ctx-3.9.6>    Compiling hex v0.4.3
lean-ctx-3.9.6>    Compiling urlencoding v2.1.3
lean-ctx-3.9.6>    Compiling similar v3.1.1
lean-ctx-3.9.6>    Compiling bytecount v0.6.9
lean-ctx-3.9.6>    Compiling tikv-jemalloc-ctl v0.7.0
lean-ctx-3.9.6>    Compiling tikv-jemallocator v0.7.0


nixbot: build timed out after 10800s