these 7 derivations will be built:
  /nix/store/52wszrri15mip5v530dcmlvh2iapfci7-rust-1.92-with-std-2025-12-11.drv
  /nix/store/lzi8463n1a26k2inr7h2d2ywbnm0mhw5-clippy-1.92-with-std-2025-12-11.drv
  /nix/store/2r40id9j13pgk9cp8f16n7ir1kwj52da-rust-1.92.drv
  /nix/store/s24qa6hpaia0b2xyysj85zwfra07vpv5-vendor-registry.drv
  /nix/store/vipw5hxhgy78ch95dfa233b1zfa7892p-vendor-cargo-deps.drv
  /nix/store/cld9cgbqm9klk9xjp8m2wndg06j7731z-lean-ffi-0.1.0.drv
  /nix/store/li6n5wid0xwx2j3kns07vr8spd9l7q7n-LeanFFITests.drv
these 3 paths will be fetched (3.43 MiB download, 20.00 MiB unpacked):
  /nix/store/kc4ypmjv48sw3xphkd7580rhk8nk4mlm-LSpec
  /nix/store/g8rh22liy7fs9251z0gkfhy98a62c48w-cargo-package-libc-0.2.183
  /nix/store/mijx6dmgv9js6h773vcv17qa8qhvdqbz-rustfmt-preview-1.92-2025-12-11
lean-ffi-0.1.0> Running phase: unpackPhase
lean-ffi-0.1.0> unpacking source archive /nix/store/kn9xjc7a79cvdr1djh143mbyljbi7gap-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/15nav7d7bc1d0j3agam08ksc3j270494-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/6qhjj4q80sba3pippky7cbfxkl374lbs-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.57s
lean-ffi-0.1.0> searching for bins/libs to install from cargo build log at cargoBuildLogve5y.json
lean-ffi-0.1.0> installing /build/source/target/release/liblean_ffi.a in postBuildInstallFromCargoBuildLogOutTempfnf/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.18s
lean-ffi-0.1.0>      Running unittests src/lib.rs (target/release/deps/lean_ffi-c10342759af1a8d7)
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.20s; merged doctests compilation took 0.19s
lean-ffi-0.1.0> Running phase: installPhase
lean-ffi-0.1.0> actually installing contents of postBuildInstallFromCargoBuildLogOutTempfnf to /nix/store/fh2m2figl961hvcp1aqs93q9pvzz67dp-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/fh2m2figl961hvcp1aqs93q9pvzz67dp-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/fh2m2figl961hvcp1aqs93q9pvzz67dp-lean-ffi-0.1.0
lean-ffi-0.1.0> checking for references to /build/ in /nix/store/fh2m2figl961hvcp1aqs93q9pvzz67dp-lean-ffi-0.1.0...
lean-ffi-0.1.0> patching script interpreter paths in /nix/store/fh2m2figl961hvcp1aqs93q9pvzz67dp-lean-ffi-0.1.0
lean-ffi-0.1.0> stripping (with command strip and flags -S -p) in  /nix/store/fh2m2figl961hvcp1aqs93q9pvzz67dp-lean-ffi-0.1.0/lib
LeanFFITests> Running phase: unpackPhase
LeanFFITests> unpacking source archive /nix/store/86n1nlddvjn6kjp3mxnnka5c1cfbnirg-67cbc3flp3zc49zz27vx4pqk7vf1n376-source
LeanFFITests> source root is 67cbc3flp3zc49zz27vx4pqk7vf1n376-source
LeanFFITests> Running phase: patchPhase
LeanFFITests> Running phase: updateAutotoolsGnuConfigScriptsPhase
LeanFFITests> Running phase: configurePhase
LeanFFITests> Running phase: buildPhase
LeanFFITests> warning: /build/67cbc3flp3zc49zz27vx4pqk7vf1n376-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)t.static (+ 5 more)
LeanFFITests> Running phase: installPhase
LeanFFITests> Running phase: fixupPhase
LeanFFITests> shrinking RPATHs of ELF executables and libraries in /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests
LeanFFITests> shrinking /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests/.lake/build/ir/Tests/Gen.c.o.export
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> shrinking /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests/.lake/build/ir/Tests/Main.c.o.export
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> shrinking /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests/.lake/build/ir/Tests/FFI.c.o.export
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> shrinking /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests/.lake/build/bin/LeanFFITests
LeanFFITests> shrinking /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests/bin/LeanFFITests
LeanFFITests> checking for references to /build/ in /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests...
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> patchelf: wrong ELF type
LeanFFITests> patching script interpreter paths in /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests
LeanFFITests> stripping (with command strip and flags -S -p) in  /nix/store/sgaypx0cw5awm52m8x8qi8q5v1vpqzvk-LeanFFITests/bin