sledgehammer_utils 0.3.1
This project contains 1 outdated main dependency.
sledgehammer_utils
(1 total, 1 outdated)
Crate | Required | Latest | Status |
---|---|---|---|
rustc-hash | ^1.1.0 | 2.1.0 | out of date |
(1 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
rand | ^0.8.5 | 0.8.5 | up to date |