| name | Missing |
| Crates.io: | prusti-devs |
| GitHub user: | prusti-devs |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| prusti-std | 2023-09-04 12:27:13.917015 | (prusti-devs) | repo | NA | NA | fmt |
| prusti-contracts | 2023-09-04 12:27:01.668662 | (prusti-devs) | repo | NA | NA | fmt |
| prusti-contracts-proc-macros | 2023-09-04 12:26:50.339438 | (prusti-devs) | repo | NA | NA | fmt |
| prusti-specs | 2023-09-04 12:26:37.773409 | (prusti-devs) | repo | NA | NA | fmt |