This project contains 1 outdated main dependency.
verus_state_machines_macros(4 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| indexmap | ^1 | 2.14.0 | out of date |
| proc-macro2 | ^1.0 | 1.0.106 | up to date |
| quote | ^1.0 | 1.0.46 | up to date |
| verus_syn | =0.0.0-2026-05-31-0205 | N/A | up to date |