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