prusto-macros is used at run time in 2 crates.
| Depender (with downloads and own rev deps) | prusto-macros version | |||
|---|---|---|---|---|
| 500 | prusto | ^0.2 | ||
| prusto-rs | ^0.2 | |||
prusto-macros is used at run time in 2 crates.
| Depender (with downloads and own rev deps) | prusto-macros version | |||
|---|---|---|---|---|
| 500 | prusto | ^0.2 | ||
| prusto-rs | ^0.2 | |||