Proper: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 3 | 1 | 4 |
| Package name | Total reverse dependencies |
|---|---|
| DifferenceLogic | 2 (view) |
| FirstOrderTheory | 3 (view) |
| Smooth | 1 (view) |
| acme-everything | 0 (view) |
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 3 | 1 | 4 |
| Package name | Total reverse dependencies |
|---|---|
| DifferenceLogic | 2 (view) |
| FirstOrderTheory | 3 (view) |
| Smooth | 1 (view) |
| acme-everything | 0 (view) |