| name | Missing |
| Crates.io: | toolCHAINZ |
| GitHub user: | toolCHAINZ |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| z3 | 2025-12-27 13:36:24.165291+00 | (toolCHAINZ) | repo | 596 | GitHub Action | fmt |
| z3-sys | 2025-12-27 13:36:09.883414+00 | (toolCHAINZ) | repo | 596 | GitHub Action | fmt |
| crackers | 2025-12-25 12:50:32.759317+00 | (toolCHAINZ) | repo | 269 | GitHub Action | fmt |
| jingle | 2025-12-21 18:34:38.097643+00 | (toolCHAINZ) | repo | 93 | GitHub Action | fmt |
| jingle_sleigh | 2025-12-21 09:03:12.479499+00 | (toolCHAINZ) | repo | 93 | GitHub Action | fmt |