prusto-macros is used at run time in 3 crates (of which 1 optionally). It is a direct run-time dependency in 2 crates.
| Depender (with downloads and own rev deps) | prusto-macros version | |||
|---|---|---|---|---|
| 1.8K | 1 | prusto | ^0.2 | |
| prusto-rs | ^0.2 | |||
prusto-macros is used at run time in 3 crates (of which 1 optionally). It is a direct run-time dependency in 2 crates.
| Depender (with downloads and own rev deps) | prusto-macros version | |||
|---|---|---|---|---|
| 1.8K | 1 | prusto | ^0.2 | |
| prusto-rs | ^0.2 | |||