free-foil: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 1 | 1 | 2 |
| Package name | Total reverse dependencies |
|---|---|
| proof-assistant-bot | 0 (view) |
| rzk | 1 (view) |
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 1 | 1 | 2 |
| Package name | Total reverse dependencies |
|---|---|
| proof-assistant-bot | 0 (view) |
| rzk | 1 (view) |