rzk: 1 reverse dependencies
No version specified, so showing reverse dependencies for latest version.| Depend on the latest version | Depend on other versions | Total |
|---|---|---|
| 1 | 0 | 1 |
| Package name | Version | Reverse dependencies |
|---|---|---|
| proof-assistant-bot | 0.2.2 | 0 (view) |
| Depend on the latest version | Depend on other versions | Total |
|---|---|---|
| 1 | 0 | 1 |
| Package name | Version | Reverse dependencies |
|---|---|---|
| proof-assistant-bot | 0.2.2 | 0 (view) |