presburger: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 3 | 18 | 21 |
| Package name | Total reverse dependencies |
|---|---|
| acme-everything | 0 (view) |
| colour-space | 2 (view) |
| computational-algebra | 1 (view) |
| cryptol | 1 (view) |
| dynamic-plot | 1 (view) |
| ghc-typelits-presburger | 19 (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) |
| rlwe-challenges | 0 (view) |
| singletons-presburger | 18 (view) |
| sized | 3 (view) |
| sized-vector | 2 (view) |
| tropical-geometry | 0 (view) |
| type-natural | 17 (view) |