monadplus: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 10 | 10 | 20 |
| Package name | Total reverse dependencies |
|---|---|
| Agda | 9 (view) |
| PandocAgda | 1 (view) |
| Ztrategic | 0 (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) |
| hakyll-agda | 1 (view) |
| music-graphics | 1 (view) |
| music-parts | 6 (view) |
| music-preludes | 5 (view) |
| music-score | 6 (view) |
| music-sibelius | 1 (view) |
| music-suite | 1 (view) |
| proof-assistant-bot | 0 (view) |
| sparse | 1 (view) |
| sparser | 1 (view) |
| transf | 1 (view) |