cargo install c2rust tries to install version 0.18.0 from crates.io, while the latest release on GitHub is 0.19.0.
The installation fails for me because 0.18.0 does not support Rust stable >= 1.80.
⬢ [archlinux] ❯ cargo install c2rust
Updating crates.io index
Installing c2rust v0.18.0
cargo install c2rusttries to install version 0.18.0 from crates.io, while the latest release on GitHub is 0.19.0.The installation fails for me because 0.18.0 does not support Rust stable >= 1.80.