uulib: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 17 | 14 | 31 |
| Package name | Total reverse dependencies |
|---|---|
| Agda | 9 (view) |
| ChristmasTree | 1 (view) |
| PandocAgda | 1 (view) |
| SyntaxMacros | 1 (view) |
| acme-everything | 0 (view) |
| agda-language-server | 0 (view) |
| agda-snippets | 2 (view) |
| agda-snippets-hakyll | 1 (view) |
| agda-unused | 0 (view) |
| asil | 1 (view) |
| blagda | 0 (view) |
| chr-lang | 0 (view) |
| chr-parse | 15 (view) |
| dbjava | 1 (view) |
| delimiter-separated | 1 (view) |
| expand | 1 (view) |
| glualint | 0 (view) |
| hakyll-agda | 1 (view) |
| lambdacube-bullet | 1 (view) |
| lambdacube-engine | 2 (view) |
| lol-typing | 1 (view) |
| murder | 3 (view) |
| oberon0 | 1 (view) |
| proof-assistant-bot | 0 (view) |
| shuffle | 10 (view) |
| uhc-light | 10 (view) |
| uhc-util | 13 (view) |
| uu-cco-hut-parsing | 1 (view) |
| uuagc | 14 (view) |
| uuagc-bootstrap | 15 (view) |
| uuagc-cabal | 15 (view) |