equational-reasoning: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 9 | 14 | 23 |
| Package name | Total reverse dependencies |
|---|---|
| acme-everything | 0 (view) |
| colour-space | 2 (view) |
| computational-algebra | 1 (view) |
| dynamic-plot | 1 (view) |
| ghc-typelits-presburger | 19 (view) |
| half-space | 5 (view) |
| linearmap-category | 5 (view) |
| lol | 7 (view) |
| lol-apps | 0 (view) |
| lol-benches | 1 (view) |
| lol-cpp | 1 (view) |
| lol-repa | 1 (view) |
| lol-tests | 1 (view) |
| manifold-random | 2 (view) |
| manifolds | 4 (view) |
| manifolds-core | 8 (view) |
| rlwe-challenges | 0 (view) |
| singletons-presburger | 18 (view) |
| sized | 3 (view) |
| sized-vector | 2 (view) |
| spatial-rotations | 5 (view) |
| tropical-geometry | 0 (view) |
| type-natural | 17 (view) |