chore: Update lean4-nix #27
+24
−18
Merged
Garnix CI / package default [x86_64-linux]
succeeded
Jan 15, 2026 in 47s
package default [x86_64-linux]
package default [x86_64-linux] succeeded
Details
Last 100 lines of logs:
this derivation will be built:
/nix/store/zdwxd4g53aqw2haq8av1gmbmxwhss2xv-Blake3.drv
these 2 paths will be fetched (430.13 MiB download, 2502.48 MiB unpacked):
/nix/store/agwl85x1qbskp065h652c6sc9m535p0x-lean
/nix/store/nla41igcnyykzirqfs1fi167ssxhc37p-lld-21.1.2
Blake3> Running phase: unpackPhase
Blake3> unpacking source archive /nix/store/mlnvp3m3lcrg1wk2kyx8siay3760jax1-mbrnrfpr7lnalzyl934g00b0zvk7krnk-source
Blake3> source root is mbrnrfpr7lnalzyl934g00b0zvk7krnk-source
Blake3> Running phase: patchPhase
Blake3> Running phase: updateAutotoolsGnuConfigScriptsPhase
Blake3> Running phase: configurePhase
Blake3> Running phase: buildPhase
Blake3> Build completed successfully (9 jobs).K0 more)
Blake3> Build completed successfully (10 jobs).)
Blake3> Build completed successfully (10 jobs).
Blake3> Build completed successfully (14 jobs).xe
Blake3> Running phase: installPhase
Blake3> Running phase: fixupPhase
Blake3> shrinking RPATHs of ELF executables and libraries in /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/blake3_portable.o
Blake3> patchelf: wrong ELF type
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/lib/libffi.so
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/lib/libBlake3.so
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/blake3.o
Blake3> patchelf: wrong ELF type
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/blake3_dispatch.o
Blake3> patchelf: wrong ELF type
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/ir/Blake3.c.o.export
Blake3> patchelf: wrong ELF type
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/ffi.o
Blake3> patchelf: wrong ELF type
Blake3> checking for references to /build/ in /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3...
Blake3> patchelf: wrong ELF type
Blake3> patchelf: wrong ELF type
Blake3> patchelf: wrong ELF type
Blake3> patchelf: wrong ELF type
Blake3> patchelf: wrong ELF type
Blake3> patching script interpreter paths in /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3
Loading