thread 'main' (2) panicked at src/main.rs:158:55:
called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
Compressor for Lean 4 .olean files
From leangz 0.1.21-r2 (enterprise-packages), captured 2026-11-08 by running leangz --help (exit 101) · terse output. permalink
thread 'main' (2) panicked at src/main.rs:158:55:
called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace