| 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+00 | (prusti-devs) | repo | 7315 | GitHub Action | fmt |
| prusti-contracts | 2023-09-04 12:27:01.668662+00 | (prusti-devs) | repo | 7315 | GitHub Action | fmt |
| prusti-contracts-proc-macros | 2023-09-04 12:26:50.339438+00 | (prusti-devs) | repo | 7315 | GitHub Action | fmt |
| prusti-specs | 2023-09-04 12:26:37.773409+00 | (prusti-devs) | repo | 7315 | GitHub Action | fmt |