Jan Winkelmann
| name | Jan Winkelmann |
| Crates.io: | keks |
| GitHub user: | keks |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| smtlib-syntax | 2024-02-27 18:32:39.161134+00 | Jan Winkelmann | repo | NA | NA | fmt |
| unionize | 2023-07-28 12:25:22.154398+00 | Jan Winkelmann | repo | 54 | NA | fmt |
| xs233 | 2023-06-01 20:12:08.846894+00 | Jan Winkelmann | repo | 4 | NA | fmt |
| xs233-sys | 2023-06-01 20:06:39.754097+00 | Jan Winkelmann | repo | 5 | NA | fmt |