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 | |||
---|---|---|---|---|
600 | 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 | |||
---|---|---|---|---|
600 | 1 | prusto | ^0.2 | |
prusto-rs | ^0.2 |