collect-errors: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 7 | 1 | 8 |
| 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) |
| mixed-types-num | 7 (view) |