Skip to content

Conversation

@mans0954
Copy link
Contributor

@mans0954 mans0954 commented Sep 15, 2025

Remove sha2 dependency - it doesn't appear to be referenced anywhere?

cargo remove sha2
cargo remove --manifest-path=src/elan-dist/Cargo.toml sha2
cargo remove --manifest-path=src/elan-utils/Cargo.toml sha2

@mans0954 mans0954 changed the title Update sha2 dependency to latest upstream version 0.9.2 -> 0.10.9 Remove sha2 dependency Sep 15, 2025
@mans0954
Copy link
Contributor Author

Although I was expecting it to be used to checksum downloaded files?

@Kha Kha merged commit c1e4086 into leanprover:master Sep 17, 2025
5 checks passed
@Kha
Copy link
Member

Kha commented Sep 17, 2025

Thanks. This was likely used in rustup with the Rust release server but lost in our simpler GitHub Releases backend.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants