data-hash: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 9 | 18 | 27 |
| Package name | Total reverse dependencies |
|---|---|
| Agda | 9 (view) |
| PandocAgda | 1 (view) |
| acme-everything | 0 (view) |
| agda-language-server | 0 (view) |
| agda-snippets | 2 (view) |
| agda-snippets-hakyll | 1 (view) |
| agda-unused | 0 (view) |
| blagda | 0 (view) |
| co-feldspar | 0 (view) |
| feed-gipeda | 0 (view) |
| feldspar-compiler | 2 (view) |
| feldspar-language | 3 (view) |
| feldspar-signal | 1 (view) |
| hakyll-agda | 1 (view) |
| hardware-edsl | 2 (view) |
| imperative-edsl | 4 (view) |
| imperative-edsl-vhdl | 3 (view) |
| open-typerep | 5 (view) |
| proof-assistant-bot | 0 (view) |
| raw-feldspar | 1 (view) |
| signals | 2 (view) |
| snaplet-tasks | 1 (view) |
| syntactic | 11 (view) |
| todos | 1 (view) |
| type-cereal | 3 (view) |
| type-ord-spine-cereal | 2 (view) |
| yoko | 1 (view) |