v0.1.1

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

Commit: 109713bb455d9d6fd71fdf45baa0beef0ebcbcda

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

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

7855d6b828ec09e44ca6da956ab0f9a9230c170331d6ee50215c518a57ebd40b  lean_extract-v4.28.0
d31692214ae1d71e9cf21f7dc26c30c7e44d272c81d6491c0bbb5127880a4141  lean_extract-v4.29.1
1d5324e7f9d62c66ae5f67a4d891902cf8240467179ed2580f609f31a48fe0e1  lean_extract-v4.31.0
f73d03acd81260670b0e88523511279689c1ccface2a800e3f3805aa53311837  lean_extract-v4.32.2
6d0fc773940eb651109641efcdc3d2f9435eecf8689652e263501ff76d06e1f0  lean_reassemble-v4.28.0
b0acd9449bd68ff0575721c029571b308c841d62522b5023f1cc2cfd423a338c  lean_reassemble-v4.29.1
38fa53714e47a7d0b2cb66267bb7ae63aa8a2fd2cbc7e4fa334f40d291892365  lean_reassemble-v4.31.0
b3767112dd4d16d87a05aff37f9b033981a760e7da8acc070afa9d87e513048d  lean_reassemble-v4.32.2