v0.1.0

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

Commit: d18e83b225c32970dcb5174ea05304a828fbadc4

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.

Checksums

88546a0b86de2906bde1f6d3bbd5a36fbbc8441ed1b891087f0072c72cd6979f  lean_extract-v4.28.0
787419cf3faa9546b3272b42cd7646cf666a7d517df8be8b850d4b621fb73cf9  lean_extract-v4.29.1
5524c3df3c51b0ad7eb985aef1826dde21a4f362f69412800f9da8d68cac0414  lean_extract-v4.31.0
0abc26ae62ad76dd1423abff5c2ed499de118cfaf6675ece6d35eaaa720c94fd  lean_extract-v4.32.2
6fc4fad233ab11ff04c7c2056f8f0b93742d54b2f2dabc2ff9b60a3b51255f23  lean_reassemble-v4.28.0
1ba7d25378a83321324ba4d8599b8e03d575ea69dd141ed57711a396a1a34215  lean_reassemble-v4.29.1
4ed6397dd78b490f91d2a7bae11156ed350155d1cea34f9043a8f99f16539cb7  lean_reassemble-v4.31.0
6931905a0f37193c3c8d2276c80df8cabbfcb434b3f73d088b87e9386295c34a  lean_reassemble-v4.32.2