chr-core: total reverse dependencies

Direct reverse dependenciesIndirect reverse dependenciesTotal
21315
Package nameTotal reverse dependencies
Agda9 (view)
PandocAgda1 (view)
acme-everything0 (view)
agda-language-server0 (view)
agda-snippets2 (view)
agda-snippets-hakyll1 (view)
agda-unused0 (view)
blagda0 (view)
chr-lang0 (view)
delimiter-separated1 (view)
hakyll-agda1 (view)
proof-assistant-bot0 (view)
shuffle10 (view)
uhc-light10 (view)
uhc-util13 (view)