v0.1.2

Versioned release v0.1.2. These assets are immutable — safe to pin.

Commit: 7ba831c2b7f77d0288808ac355108848424b03ce

Assets

Lean toolchain	Extractor	Reassembler
v4.28.0	lean_extract-v4.28.0	lean_reassemble-v4.28.0
v4.29.1	lean_extract-v4.29.1	lean_reassemble-v4.29.1
v4.31.0	lean_extract-v4.31.0	lean_reassemble-v4.31.0
v4.32.2	lean_extract-v4.32.2	lean_reassemble-v4.32.2
v4.33.0	lean_extract-v4.33.0	lean_reassemble-v4.33.0

Download the pair matching your project's lean-toolchain; the binaries
run the target project's Lean, so the versions must agree. The grind modes
(--grind-manifest, --grind-in-proof) need v4.31.0 or newer — earlier
builds refuse those two modes at startup and exit non-zero.

These binaries link the toolchain's libleanshared.so dynamically (they are
a few MB, not ~215 MB). If the loader cannot find it — error while loading shared libraries: libleanshared.so — point it at your toolchain:

LD_LIBRARY_PATH=$(lean --print-libdir) ./lean_extract-<slug> --help

Checksums

60f0f0090d2d88a29a0f2c360b455d6066dd36fa7b642c94a1b948d372bd0d6b  lean_extract-v4.28.0
47a4dd50406f8e63712e17ad149bf4ff05d91831f143730312e5467dbd61150d  lean_extract-v4.29.1
90bc8545492ad898f61c7fa3f00311e1a4670dede856a621d721a92dcadd6855  lean_extract-v4.31.0
936bbb13fb0ffbc4f208271b5928dccfa9cd0d6830a996a914c0ced7dff84cf4  lean_extract-v4.32.2
0b3c90a6db77e90faade0242d7743083bce26ebbc763f117478183c0b6948238  lean_extract-v4.33.0
e923ef22b6ca0a74f55afccb872dd8f5767d2835d20800f40e8b703c5a92c5d5  lean_reassemble-v4.28.0
a66118bcfff1511ddb004ecb3960b5abdd1813aa33cd7e1178e45d051b703c01  lean_reassemble-v4.29.1
135ee4bd0d7e90317f0cb8a808b1fbc65d8286c68472ade0cafce74fdb1c4198  lean_reassemble-v4.31.0
f6a089a2ec298e3375dff18b7b8e34f0e4fff18bbfb53f0d5ad936eb346b518e  lean_reassemble-v4.32.2
bf8a0440fce17f9f0e0a0cd75399912bed38854c2f00b687e570d2021937b840  lean_reassemble-v4.33.0