Kevin Lotz
| name | Kevin Lotz |
| Crates.io: | lotzk |
| GitHub user: | lotzk |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| isabelle-client | 2023-03-09 07:57:07.378657 | Kevin Lotz | repo | 26 | NA | fmt |
| name | Kevin Lotz |
| Crates.io: | lotzk |
| GitHub user: | lotzk |
| name | repo |
|---|
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| isabelle-client | 2023-03-09 07:57:07.378657 | Kevin Lotz | repo | 26 | NA | fmt |