Skip to content

Conversation

@mans0954
Copy link
Contributor

Removes the ole32-sys crate dependency. As far as I can see, this isn't referenced anywhere in the code.

The crate hasn't been updated upstream for almost 10 years https://crates.io/crates/ole32-sys/0.2.0

It was removed from rustup some time ago: rust-lang/rustup#1759

Result of running:

cargo remove --manifest-path=src/elan-dist/Cargo.toml ole32-sys

Previously #178

@Kha Kha merged commit 1751b4f into leanprover:master Sep 22, 2025
5 checks passed
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