rounded: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 2 | 5 | 7 |
| Package name | Total reverse dependencies |
|---|---|
| LPPaver | 0 (view) |
| PropaFP | 1 (view) |
| acme-everything | 0 (view) |
| aern2-fun | 3 (view) |
| aern2-mfun | 2 (view) |
| aern2-mp | 5 (view) |
| aern2-real | 4 (view) |