This project contains 1 outdated main dependency.

Crate sledgehammer_utils

Dependencies

(1 total, 1 outdated)

CrateRequiredLatestStatus
 rustc-hash^1.1.02.1.0out of date

Dev dependencies

(1 total, all up-to-date)

CrateRequiredLatestStatus
 rand^0.8.50.8.5up to date