these 21 paths will be fetched (504.89 MiB download, 2795.74 MiB unpacked):
  /nix/store/kc4ypmjv48sw3xphkd7580rhk8nk4mlm-LSpec
  /nix/store/ms7580m4qsf1qqb1qsv4pnqijb1zc051-cargo-1.92-2025-12-11
  /nix/store/ynfppm7fz32nsa7ax21fchw3sw2h97x5-cargo-package-bindgen-0.72.1
  /nix/store/nx46yqhhm1h7kpr68b2739mvs1pympbp-cargo-package-cc-1.2.57
  /nix/store/2mb9fwla3dqyw0l877frylym6xm6gy1z-cargo-package-cexpr-0.6.0
  /nix/store/53kz72hc9zdryikljf6mgwj44d7ac6gh-cargo-package-clang-sys-1.8.1
  /nix/store/gzhbhdw0hfvl1wn6a5s33f01bm0p6i73-cargo-package-find-msvc-tools-0.1.9
  /nix/store/fzrqnkddl0pqxvhxk01na25gil9f2pyz-cargo-package-itertools-0.13.0
  /nix/store/g8rh22liy7fs9251z0gkfhy98a62c48w-cargo-package-libc-0.2.183
  /nix/store/7975rmiwwhzl8smn19y7wm9842sd3wxx-cargo-package-log-0.4.29
  /nix/store/ljwqp62ii6y9ph8hjhvzg0q3xccjjba6-cargo-package-num-traits-0.2.19
  /nix/store/sqlnjj8c3n3si3sjnadhdbcwgrk97g2w-clang-wrapper-21.1.2
  /nix/store/vadrjh15k8bda0bgxqxln67rgd5gg4ya-clippy-preview-1.92-2025-12-11
  /nix/store/gj06hl0vb46kf66zpsss4gk5wphfh5lk-compiler-rt-libc-21.1.2-dev
  /nix/store/nmfi64fgn3mhl2la5a6vaiywf61p48r7-dummyBuild.rs
  /nix/store/2kb0v1z6arlghym4zvyyr9xi76wvnnjp-lean
  /nix/store/jc3aimgcq0vd7pjxs2p5n1niv80031nq-lean-ffi-deps-0.1.0
  /nix/store/nla41igcnyykzirqfs1fi167ssxhc37p-lld-21.1.2
  /nix/store/mijx6dmgv9js6h773vcv17qa8qhvdqbz-rustfmt-preview-1.92-2025-12-11
  /nix/store/pds6vjir6gd1d6fqr7wiqlihb33cdakp-vendor-cargo-deps
  /nix/store/xdxkw6rqys8i1zalv2g3ibi6v2km05xr-vendor-registry
lean-ffi-0.1.0> Running phase: unpackPhase
lean-ffi-0.1.0> unpacking source archive /nix/store/bw66kd88s90hvp1j4f5mcpa9sxqiyp5d-source
lean-ffi-0.1.0> source root is source
lean-ffi-0.1.0> Running phase: patchPhase
lean-ffi-0.1.0> Executing configureCargoCommonVars
lean-ffi-0.1.0> decompressing cargo artifacts from /nix/store/jc3aimgcq0vd7pjxs2p5n1niv80031nq-lean-ffi-deps-0.1.0/target.tar.zst to target
lean-ffi-0.1.0> Running phase: updateAutotoolsGnuConfigScriptsPhase
lean-ffi-0.1.0> Running phase: configurePhase
lean-ffi-0.1.0> will append /build/source/.cargo-home/config.toml with contents of /nix/store/pds6vjir6gd1d6fqr7wiqlihb33cdakp-vendor-cargo-deps/config.toml
lean-ffi-0.1.0> default configurePhase, nothing to do
lean-ffi-0.1.0> Running phase: buildPhase
lean-ffi-0.1.0> +++ command cargo --version
lean-ffi-0.1.0> cargo 1.92.0 (344c4567c 2025-10-21)
lean-ffi-0.1.0> +++ command cargo build --release --message-format json-render-diagnostics --locked --features test-ffi
lean-ffi-0.1.0>    Compiling lean-ffi v0.1.0 (/build/source)
lean-ffi-0.1.0>     Finished `release` profile [optimized] target(s) in 3.35s
lean-ffi-0.1.0> searching for bins/libs to install from cargo build log at cargoBuildLogiCDn.json
lean-ffi-0.1.0> installing /build/source/target/release/liblean_ffi.a in postBuildInstallFromCargoBuildLogOutTempVf3/lib
lean-ffi-0.1.0> searching for bins/libs complete
lean-ffi-0.1.0> Running phase: checkPhase
lean-ffi-0.1.0> +++ command cargo test --release --locked --features test-ffi
lean-ffi-0.1.0>    Compiling lean-ffi v0.1.0 (/build/source)
lean-ffi-0.1.0>     Finished `release` profile [optimized] target(s) in 1.26s
lean-ffi-0.1.0>      Running unittests src/lib.rs (target/release/deps/lean_ffi-62a9dd108d4b996e)
lean-ffi-0.1.0> 
lean-ffi-0.1.0> running 0 tests
lean-ffi-0.1.0> 
lean-ffi-0.1.0> test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
lean-ffi-0.1.0> 
lean-ffi-0.1.0>    Doc-tests lean_ffi
lean-ffi-0.1.0> 
lean-ffi-0.1.0> running 1 test
lean-ffi-0.1.0> test src/lib.rs - lean_domain_type (line 66) ... ignored
lean-ffi-0.1.0> 
lean-ffi-0.1.0> test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
lean-ffi-0.1.0> 
lean-ffi-0.1.0> all doctests ran in 0.17s; merged doctests compilation took 0.17s
lean-ffi-0.1.0> Running phase: installPhase
lean-ffi-0.1.0> actually installing contents of postBuildInstallFromCargoBuildLogOutTempVf3 to /nix/store/mf00wsibz6mydi5bn7g2gl6ycbhyjs72-lean-ffi-0.1.0
lean-ffi-0.1.0> stripping references to Rust toolchain
lean-ffi-0.1.0> Rust toolchain at: /nix/store/rsybhz6z6zwbjf2mvkvr25ld48ps6ddz-rust-1.92
lean-ffi-0.1.0> stripping Rust toolchain references done
lean-ffi-0.1.0> stripping references to cargoVendorDir from:
lean-ffi-0.1.0> /nix/store/mf00wsibz6mydi5bn7g2gl6ycbhyjs72-lean-ffi-0.1.0/lib/liblean_ffi.a
lean-ffi-0.1.0> stripping references done
lean-ffi-0.1.0> Running phase: fixupPhase
lean-ffi-0.1.0> shrinking RPATHs of ELF executables and libraries in /nix/store/mf00wsibz6mydi5bn7g2gl6ycbhyjs72-lean-ffi-0.1.0
lean-ffi-0.1.0> checking for references to /build/ in /nix/store/mf00wsibz6mydi5bn7g2gl6ycbhyjs72-lean-ffi-0.1.0...
lean-ffi-0.1.0> patching script interpreter paths in /nix/store/mf00wsibz6mydi5bn7g2gl6ycbhyjs72-lean-ffi-0.1.0
lean-ffi-0.1.0> stripping (with command strip and flags -S -p) in  /nix/store/mf00wsibz6mydi5bn7g2gl6ycbhyjs72-lean-ffi-0.1.0/lib
LeanFFITests> Running phase: unpackPhase
LeanFFITests> unpacking source archive /nix/store/2idkfhbnsrkhwnij8yc7bz9qfd1a25fz-x99774arn6qdc5qmhrdk6xz5ng7rrig9-source
LeanFFITests> source root is x99774arn6qdc5qmhrdk6xz5ng7rrig9-source
LeanFFITests> Running phase: patchPhase
LeanFFITests> Running phase: updateAutotoolsGnuConfigScriptsPhase
LeanFFITests> Running phase: configurePhase
LeanFFITests> Running phase: buildPhase
LeanFFITests> warning: /build/x99774arn6qdc5qmhrdk6xz5ng7rrig9-source/lakefile.lean:15:6: unused variable `srcName`
LeanFFITests> 
LeanFFITests> Note: This linter can be disabled with `set_option linter.unusedVariables false`
LeanFFITests> Build completed successfully (29 jobs).Kore)
LeanFFITests> Running phase: installPhase
LeanFFITests> Running phase: fixupPhase
LeanFFITests> shrinking RPATHs of ELF executables and libraries in /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests
LeanFFITests> shrinking /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests/.lake/build/bin/LeanFFITests
LeanFFITests> shrinking /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests/.lake/build/ir/Tests/FFI.c.o.export
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> shrinking /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests/.lake/build/ir/Tests/Gen.c.o.export
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> shrinking /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests/.lake/build/ir/Tests/Main.c.o.export
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> shrinking /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests/bin/LeanFFITests
LeanFFITests> checking for references to /build/ in /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests...
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> patching script interpreter paths in /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests
LeanFFITests> stripping (with command strip and flags -S -p) in  /nix/store/pvgspwkxci5m41dcn3xda064ywyg3h9s-LeanFFITests/bin